Fixed kani args

twizzler-operating-system · Oct 7, 2024 · f8116d5 · f8116d5
1 parent 96b1e46
commit f8116d5
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.github/workflows/kani-workflow.yml b/.github/workflows/kani-workflow.yml
@@ -30,4 +30,6 @@ jobs:
     - name: Bootstrap Toolchain
       run: cargo bootstrap
     - name: Run Kani
-      uses: model-checking/[email protected] --workspace --exclude monitor -Z stubbing
+      uses: model-checking/[email protected]
+      with:
+        args: '--workspace --exclude monitor -Z stubbing'