diff --git a/.github/workflows/kani-workflow.yml b/.github/workflows/kani-workflow.yml
index d3aced3c..a1f514e7 100644
--- 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/kani-github-action@v1.1 --workspace --exclude monitor -Z stubbing
+      uses: model-checking/kani-github-action@v1.1
+      with:
+        args: '--workspace --exclude monitor -Z stubbing'