update workflow

hhu-adam · Aug 20, 2024 · b1c34ec · b1c34ec
1 parent dbfdca8
commit b1c34ec
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -36,6 +36,8 @@ jobs:
         if: matrix.os == 'macos-latest'
         run: |
           curl -fsSL https://raw.githubusercontent.com/leanprover-community/mathlib4/master/scripts/install_macos.sh > install_macos.sh
+          less install_macos.sh
+          ls -la
           ./install_macos.sh -y
           source ~/.profile
       - name: run lake build (macOS)