From b080818d52011d5ccd5e35158c6d18fad894cfe6 Mon Sep 17 00:00:00 2001 From: fpoli Date: Sat, 1 Oct 2022 07:09:42 +0000 Subject: [PATCH] Update dependencies (rustc nightly-2022-10-01, viper v-2022-09-30-1522) --- rust-toolchain | 2 +- viper-toolchain | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/rust-toolchain b/rust-toolchain index 7cc5a01f399..7c1916ea4b8 100644 --- a/rust-toolchain +++ b/rust-toolchain @@ -1,4 +1,4 @@ [toolchain] -channel = "nightly-2022-09-18" +channel = "nightly-2022-10-01" components = [ "rustc-dev", "llvm-tools-preview", "rust-std", "rustfmt", "clippy" ] profile = "minimal" diff --git a/viper-toolchain b/viper-toolchain index 056009df59e..9edf1b85917 100644 --- a/viper-toolchain +++ b/viper-toolchain @@ -1 +1 @@ -v-2022-09-02-0742 +v-2022-09-30-1522