Skip to content

Conversation

adpaco-aws
Copy link
Contributor

@adpaco-aws adpaco-aws commented Dec 8, 2023

Updates the Rust toolchain to nightly-2023-12-08. The relevant changes are:

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

@adpaco-aws adpaco-aws requested a review from a team as a code owner December 8, 2023 16:25
@adpaco-aws adpaco-aws changed the title Update Rust toolchain to `nightly-2023 12 08 Update Rust toolchain to nightly-2023-12-08 Dec 8, 2023
@github-actions github-actions bot added the Z-EndToEndBenchCI Tag a PR to run benchmark CI label Dec 8, 2023
@adpaco-aws adpaco-aws force-pushed the update-toolchain-2023-12-08 branch from e604a05 to 09b2982 Compare December 8, 2023 16:34
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.

Can you also please remove the hack on the reachability module?

@celinval celinval enabled auto-merge (squash) December 8, 2023 18:50
@celinval celinval merged commit d095367 into model-checking:main Dec 8, 2023
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.

2 participants