Try with path expanded

jaisnan · Jul 30, 2024 · 40bead9 · 40bead9
1 parent 3a00b2a
commit 40bead9
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 8 deletions.
diff --git a/.github/workflows/kani.yml b/.github/workflows/kani.yml
@@ -33,8 +33,5 @@ jobs:
           path: verify-rust-std
           submodules: true
 
-      - name: Run ls to debug
-        run: ls
-
       - name: Run Kani Script
-        run: bash ${{ github.workspace }}/scripts/check_kani.sh ./verify-rust-std/
+        run: bash ./verify-rust-std/scripts/check_kani.sh ./verify-rust-std/
diff --git a/.github/workflows/rustc.yml b/.github/workflows/rustc.yml
@@ -29,8 +29,5 @@ jobs:
         with:
           path: head
 
-      - name: Run ls to debug
-        run: ls
-
       - name: Run rustc script
-        run: bash ${{ github.workspace }}/scripts/check_rustc.sh ./head
+        run: bash ./head/${{ github.workspace }}/scripts/check_rustc.sh ./head