Install Rust toolchain used by VeriFast

Author: btj

.github/workflows/verifast.yml

@@ -31,6 +31,9 @@ jobs:
           echo '51bebf990f31666abcd3675000e7714ef79b417390e930953ef25383e8d59421  verifast-24.12-linux.tar.gz' | shasum -a 256 -c
           tar xf verifast-24.12-linux.tar.gz
 
+      - name: Install the Rust toolchain used by VeriFast
+        run: rustup toolchain install nightly-2024-11-24
+
       - name: Run VeriFast Verification
         run: |
           export PATH=~/verifast-24.12/bin:$PATH