diff --git a/.github/workflows/kani.yml b/.github/workflows/kani.yml
index 81f2d61930b32..559f0d7f0b60e 100644
--- a/.github/workflows/kani.yml
+++ b/.github/workflows/kani.yml
@@ -35,11 +35,11 @@ jobs:
           submodules: true
 
       - name: Run Kani Script
-        run: bash ./head/scripts/run-kani.sh --path ${{github.workspace}}/head
+        run: head/scripts/run-kani.sh --path ${{github.workspace}}/head
 
       - name: Run Kani Script with --kani-args and -p
-        run: bash ./head/scripts/run-kani.sh -p ${{github.workspace}}/head --kani-args --harness ptr::verify::check_read_u128 --harness ptr::unique::verify::check_as_mut
+        run: head/scripts/run-kani.sh -p ${{github.workspace}}/head --kani-args --harness ptr::verify::check_read_u128 --harness ptr::unique::verify::check_as_mut
 
       - name: Run Kani Script without -p
         working-directory: ${{github.workspace}}/head
-        run: bash ./scripts/run-kani.sh --kani-args --harness ptr::verify::check_read_u128 --harness ptr::unique::verify::check_as_mut
+        run: scripts/run-kani.sh --kani-args --harness ptr::verify::check_read_u128 --harness ptr::unique::verify::check_as_mut