Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Automatic toolchain upgrade to nightly-2024-04-21 (model-checking#3158)
Update Rust toolchain from nightly-2024-04-20 to nightly-2024-04-21 without any other source changes. This is an automatically generated pull request. If any of the CI checks fail, manual intervention is required. In such a case, review the changes at https://github.com/rust-lang/rust from rust-lang/rust@f9b1614 up to rust-lang/rust@dbce3b4.
- Loading branch information