Skip to content

Commit

Permalink
Merge remote-tracking branch 'origin/main' into cbmc-6
Browse files Browse the repository at this point in the history
  • Loading branch information
@tautschnig
tautschnig committed Jul 31, 2024
2 parents 007b1e9 + 39c6bc1 commit 2a3fd06
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion rust-toolchain.toml
View file
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-07-30"
channel = "nightly-2024-07-31"
components = ["llvm-tools", "rustc-dev", "rust-src", "rustfmt"]

0 comments on commit 2a3fd06

Please sign in to comment.