Forgot kani flags...

twizzler-operating-system · Oct 7, 2024 · 96b1e46 · 96b1e46
1 parent f8ebdcb
commit 96b1e46
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/.github/workflows/kani-workflow.yml b/.github/workflows/kani-workflow.yml
@@ -30,5 +30,4 @@ jobs:
     - name: Bootstrap Toolchain
       run: cargo bootstrap
     - name: Run Kani
-      uses: model-checking/[email protected]
-    # x86_64 is the default, builds in debug mode
+      uses: model-checking/[email protected] --workspace --exclude monitor -Z stubbing