Test Kani Github Actions - 1

twizzler-operating-system · Oct 12, 2024 · 1f2d878 · 1f2d878
1 parent 4b74039
commit 1f2d878
Showing 1 changed file with 2 additions and 4 deletions.
diff --git a/.github/workflows/kani-workflow.yml b/.github/workflows/kani-workflow.yml
@@ -23,15 +23,13 @@ jobs:
     - uses: actions/checkout@v2
       with:
         submodules: recursive
-
-    - name: Rust Update
-      run: rustup update
     - name: Run replace script
       run: ./admin_scripts/kani_nvme_controller_value.sh
     - name: Install latest nightly
       uses: actions-rs/toolchain@v1
       with:
-          toolchain: stable
+          toolchain: 1.81.0
+          override: true 
     - name: Bootstrap Toolchain
       run: cargo bootstrap
     - name: Run Kani