diff --git a/.github/workflows/kani.yml b/.github/workflows/kani.yml
index f3a78fa6fc1b1..46769a9a878c0 100644
--- 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
index aa1d4988187bd..f97a5534315b6 100644
--- 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