Check path

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

Hide file tree

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