Skip to content

Conversation

zhassan-aws
Copy link
Contributor

Relevant upstream PR:

rust-lang/rust#128776: The TreatParams enum variants were renamed.

Resolves #3503

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.

@zhassan-aws zhassan-aws requested a review from a team as a code owner September 8, 2024 21:45
@github-actions github-actions bot added the Z-EndToEndBenchCI Tag a PR to run benchmark CI label Sep 8, 2024
@zhassan-aws zhassan-aws added this pull request to the merge queue Sep 8, 2024
Merged via the queue into model-checking:main with commit 7896cff Sep 8, 2024
27 checks passed
@zhassan-aws zhassan-aws deleted the toolchain-2024-09-07 branch September 8, 2024 23:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Z-EndToEndBenchCI Tag a PR to run benchmark CI
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Toolchain upgrade to nightly-2024-09-07 failed
2 participants