From a3e1b450cddc5b57e438977b65a54f6e874dabed Mon Sep 17 00:00:00 2001 From: fpoli Date: Wed, 15 Feb 2023 07:04:11 +0000 Subject: [PATCH] Update dependencies (rustc nightly-2023-02-15, viper v-2023-02-14-1040) --- rust-toolchain | 2 +- viper-toolchain | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/rust-toolchain b/rust-toolchain index f092488e8e9..a75cd28cfa2 100644 --- a/rust-toolchain +++ b/rust-toolchain @@ -1,4 +1,4 @@ [toolchain] -channel = "nightly-2023-01-15" +channel = "nightly-2023-02-15" components = [ "rustc-dev", "llvm-tools-preview", "rust-std", "rustfmt", "clippy" ] profile = "minimal" diff --git a/viper-toolchain b/viper-toolchain index 0391f0ffe80..5e80a6f7a12 100644 --- a/viper-toolchain +++ b/viper-toolchain @@ -1 +1 @@ -v-2023-01-31-0912 +v-2023-02-14-1040