update workflow

hhu-adam · Aug 20, 2024 · 27b3a1f · 27b3a1f
1 parent 6fe0c7a
commit 27b3a1f
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -36,7 +36,8 @@ jobs:
         if: matrix.os == 'macos-latest'
         run: |
           set -exo pipefail
-          curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | sh
+          curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf > elan-init.sh
+          yes | sh elan-init.sh
           elan toolchain install stable -y
           elan default stable -y
           source ~/.profile