Skip to content

Conversation

jaisnan
Copy link
Contributor

@jaisnan jaisnan commented Jul 12, 2024

Upgrade toolchain to 7/12

Relevant PRs: rust-lang/rust#127176
and
rust-lang/rust#125507

Resolves #3319

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

@jaisnan jaisnan requested a review from a team as a code owner July 12, 2024 17:58
@github-actions github-actions bot added the Z-EndToEndBenchCI Tag a PR to run benchmark CI label Jul 12, 2024
Copy link
Contributor

@celinval celinval left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks Jai!

@jaisnan jaisnan enabled auto-merge (squash) July 12, 2024 19:02
@jaisnan jaisnan merged commit 02e3327 into model-checking:main Jul 12, 2024
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-07-02 failed
2 participants