Check workflow

jaisnan · Jul 30, 2024 · f9c240f · f9c240f
1 parent d80dbdf
commit f9c240f
Show file tree

Hide file tree

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