Run ls

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

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git a/.github/workflows/kani.yml b/.github/workflows/kani.yml
@@ -33,5 +33,8 @@ 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/
diff --git a/.github/workflows/rustc.yml b/.github/workflows/rustc.yml
@@ -29,5 +29,8 @@ jobs:
         with:
           path: head
 
+      - name: Run ls to debug
+        run: ls
+
       - name: Run rustc script
         run: bash ${{ github.workspace }}/scripts/check_rustc.sh ./head