Fix path

jaisnan · Jul 30, 2024 · 139b394 · 139b394
1 parent f898c50
commit 139b394
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
@@ -34,8 +34,5 @@ jobs:
           path: head
           submodules: true
 
-      - name: Run ls
-        run: ls ${{github.workspace}}/head
-
       - name: Run Kani Script
-        run: bash ./verify-rust-std/scripts/check_kani.sh ./head/
+        run: bash ./verify-rust-std/scripts/check_kani.sh ${{github.workspace}}/head
diff --git a/.github/workflows/rustc.yml b/.github/workflows/rustc.yml
@@ -30,8 +30,5 @@ jobs:
         with:
           path: head
 
-      - name: Run ls
-        run: ls ${{ github.workspace }}/head
-
       - name: Run rustc script
-        run: bash ./head/scripts/check_rustc.sh ./head
+        run: bash ./head/scripts/check_rustc.sh ${{github.workspace}}/head