Skip to content

Commit

Permalink
Automatic toolchain upgrade to nightly-2024-10-18 (model-checking#3613)
Browse files Browse the repository at this point in the history
Update Rust toolchain from nightly-2024-10-17 to nightly-2024-10-18
without any other source changes.

Co-authored-by: celinval <[email protected]>
  • Loading branch information
github-actions[bot] and celinval authored Oct 18, 2024
1 parent 5b03a9f commit 0e03c1c
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion rust-toolchain.toml
Original file line number Diff line number Diff line change
Expand Up @@ -2,5 +2,5 @@
# SPDX-License-Identifier: Apache-2.0 OR MIT

[toolchain]
channel = "nightly-2024-10-17"
channel = "nightly-2024-10-18"
components = ["llvm-tools", "rustc-dev", "rust-src", "rustfmt"]

0 comments on commit 0e03c1c

Please sign in to comment.