Merge branch 'main' into fix-matches

Author: jaylorch

.github/workflows/verus.yml

@@ -25,7 +25,7 @@ jobs:
       - name: Install Rust Toolchain
         run: |
           rustup update --no-self-update stable
-          rustup install 1.93.0-x86_64-unknown-linux-gnu
+          rustup install 1.93.1-x86_64-unknown-linux-gnu
 
       - name: Get the URL for the latest Verus release
         id: verus-release-info

editors/code/src/bootstrap.ts

@@ -242,7 +242,7 @@ export async function validRustToolchain(): Promise<Boolean> {
     // TODO: Add a config flag for the expected toolchain version
     const TOOLCHAIN_FULL = 1;
     const TOOLCHAIN_MAJOR = 93;
-    const TOOLCHAIN_MINOR = 0;
+    const TOOLCHAIN_MINOR = 1;
 
     const { path: rustup_executable } = await findRustup();
     if (!rustup_executable) {