update workflow

hhu-adam · Aug 20, 2024 · 6fe0c7a · 6fe0c7a
1 parent 648d261
commit 6fe0c7a
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -35,9 +35,10 @@ jobs:
       - name: install elan (macOS)
         if: matrix.os == 'macos-latest'
         run: |
-          curl -fsSL https://raw.githubusercontent.com/leanprover-community/mathlib4/master/scripts/install_macos.sh > install_macos.sh
-          chmod a+x install_macos.sh
-          yes | ./install_macos.sh
+          set -exo pipefail
+          curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | sh
+          elan toolchain install stable -y
+          elan default stable -y
           source ~/.profile
       - name: run lake build (macOS)
         if: matrix.os == 'macos-latest'