update workflow

hhu-adam · Aug 20, 2024 · 648d261 · 648d261
1 parent b052092
commit 648d261
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -37,7 +37,7 @@ jobs:
         run: |
           curl -fsSL https://raw.githubusercontent.com/leanprover-community/mathlib4/master/scripts/install_macos.sh > install_macos.sh
           chmod a+x install_macos.sh
-          /bin/bash ./install_macos.sh -y
+          yes | ./install_macos.sh
           source ~/.profile
       - name: run lake build (macOS)
         if: matrix.os == 'macos-latest'