Automatic toolchain upgrade to nightly-2024-07-16 (model-checking#3346)

Update Rust toolchain from nightly-2024-07-15 to nightly-2024-07-16 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@d9284af up to rust-lang/rust@24d2ac0.
pi314mm · Jul 17, 2024 · b1681e7 · b1681e7
1 parent 053f45c
commit b1681e7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/rust-toolchain.toml b/rust-toolchain.toml
@@ -2,5  2,5 @@
 # SPDX-License-Identifier: Apache-2.0 OR MIT
 
 [toolchain]
-channel = "nightly-2024-07-15"
 channel = "nightly-2024-07-16"
 components = ["llvm-tools", "rustc-dev", "rust-src", "rustfmt"]