Update build.yml

2024-05-22 16:43:35 -04:00 · 2024-05-22 16:43:35 -04:00 · 789ed167a1
commit 789ed167a1
parent 64a1725bc3
1 changed files with 1 additions and 1 deletions
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@ -24,11 +24,11 @@ jobs:
        run: |
          lean --version
          lake --version
-          cat lean-toolchain
      
      - name: check ls 
        run: |
          ls -a
+          ls .lake/packages/mathlib/Mathlib/LinearAlgebra/Eigenspace/
      
      - name: build cache
        run: |