Skip to content

Conversation

@celinval
Copy link
Contributor

Related change:
- rust-lang/rust#126623

Resolves #3275

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

@celinval celinval requested a review from a team as a code owner June 21, 2024 19:22
@github-actions github-actions bot added the Z-EndToEndBenchCI Tag a PR to run benchmark CI label Jun 21, 2024
@celinval celinval enabled auto-merge (squash) June 21, 2024 19:49
@celinval celinval merged commit 5b119e8 into model-checking:main Jun 21, 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-06-19 failed

2 participants