Update build.yml

2024-05-22 16:44:27 -04:00 · 2024-05-22 16:44:27 -04:00 · 9c836e1f86
commit 9c836e1f86
parent 789ed167a1
1 changed files with 4 additions and 2 deletions
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@ -28,12 +28,14 @@ jobs:
      - name: check ls 
        run: |
          ls -a
-          ls .lake/packages/mathlib/Mathlib/LinearAlgebra/Eigenspace/
+          
      
      - name: build cache
        run: |
          lake exe cache get
-  
+      - name: check ls2 
+        run : |
+          ls .lake/packages/mathlib/Mathlib/LinearAlgebra/Eigenspace/
      - name: build HepLean
        id: build
        uses: liskin/gh-problem-matcher-wrap@v3