Fix step for without -p

model-checking · Sep 6, 2024 · 739d898 · 739d898
1 parent aba4ecf
commit 739d898
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/check_entrypoint.yml b/.github/workflows/check_entrypoint.yml
@@ -39,7 +39,7 @@ jobs:
 
       - name: Run Kani Script without -p
         working-directory: ${{github.workspace}}/head
-        run: bash ./head/run-kani.sh --kani-args --harness ptr::verify::check_read_u128 --harness ptr::unique::verify::check_as_mut
+        run: bash ./run-kani.sh --kani-args --harness ptr::verify::check_read_u128 --harness ptr::unique::verify::check_as_mut
 
       - name: Run Kani Script with a path
         run: bash ./head/run-kani.sh -p ${{github.workspace}}/head