change path to head

jaisnan · Jul 30, 2024 · 6e5786b · 6e5786b
1 parent 139b394
commit 6e5786b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/kani.yml b/.github/workflows/kani.yml
@@ -35,4 +35,4 @@ jobs:
           submodules: true
 
       - name: Run Kani Script
-        run: bash ./verify-rust-std/scripts/check_kani.sh ${{github.workspace}}/head
+        run: bash ./head/scripts/check_kani.sh ${{github.workspace}}/head