Check with verify-rst-std

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

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/.github/workflows/kani.yml b/.github/workflows/kani.yml
@@ -34,5 +34,8 @@ jobs:
           path: verify-rust-std
           submodules: true
 
+      - name: Run ls
+        run: ls ./verify-rust-std/library
+
       - 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,8 +31,7 @@ jobs:
           path: head
 
       - name: Run ls
-        run: ls ./head
-
+        run: ls ./head/library
 
       - name: Run rustc script
         run: bash ./head/scripts/check_rustc.sh ./head