Bump the expected Verus version in anticipation of the release resulting

from verus-lang/verus@870102f42

Author: parno

.github/workflows/verus.yml

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

editors/code/src/bootstrap.ts

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