Update dependencies (rustc nightly-2023-07-15, viper v-2023-07-05-0730)

viperproject · Jul 15, 2023 · f393d97 · f393d97
1 parent 2c2145c
commit f393d97
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/rust-toolchain b/rust-toolchain
@@ -1,4 +1,4 @@
 [toolchain]
-channel = "nightly-2023-04-01"
+channel = "nightly-2023-07-15"
 components = [ "rustc-dev", "llvm-tools-preview", "rust-std", "rustfmt", "clippy" ]
 profile = "minimal"
diff --git a/viper-toolchain b/viper-toolchain
@@ -1 +1 @@
-v-2023-05-17-0733
+v-2023-07-05-0730