PR #12586 Upgrade to Rust 1.80

Upgrade to Rust 1.80 #12586

MichaReiser merged 2 commits into main from rust-1.80

MichaReiser requested a review from

carljm 1 year ago

MichaReiser requested a review from

AlexWaygood 1 year ago

MichaReiser requested a review from

dhruvmanila 1 year ago

MichaReiser added internal

Upgrade to Rust 1.80

d562015c

MichaReiser force pushed from cb6fe11b to d562015c 1 year ago

AlexWaygood approved these changes on 2024-07-30

dhruvmanila approved these changes on 2024-07-30

carljm approved these changes on 2024-07-30

clause.rs aktualisieren

ff157c05

MichaReiser enabled auto-merge (squash) 1 year ago

MichaReiser merged 138e70bd into main 1 year ago

MichaReiser deleted the rust-1.80 branch 1 year ago

Reviewers

carljm

dhruvmanila

AlexWaygood

Assignees

No one assigned

Labels

internal

Milestone

No milestone