From 290f07f3131a4a25ef3d071cd666b425b8bb2433 Mon Sep 17 00:00:00 2001 From: fpoli Date: Fri, 1 Dec 2023 07:02:53 +0000 Subject: [PATCH] Update dependencies (rustc nightly-2023-12-01, viper v-2023-09-27-0729) --- rust-toolchain | 2 +- viper-toolchain | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/rust-toolchain b/rust-toolchain index 4439ba166b4..6510237850a 100644 --- a/rust-toolchain +++ b/rust-toolchain @@ -1,4 +1,4 @@ [toolchain] -channel = "nightly-2023-09-15" +channel = "nightly-2023-12-01" components = [ "rustc-dev", "llvm-tools-preview", "rust-std", "rustfmt", "clippy" ] profile = "minimal" diff --git a/viper-toolchain b/viper-toolchain index ced0143ddf2..56fc2002030 100644 --- a/viper-toolchain +++ b/viper-toolchain @@ -1 +1 @@ -v-2023-08-26-2125 +v-2023-09-27-0729