test: switch to macos elan download

leanprover · Aug 14, 2024 · aeea62e · aeea62e
1 parent d679f84
commit aeea62e
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/scripts/install_elan.sh b/scripts/install_elan.sh
@@ -4,12 +4,13 @@
 echo "::group::Elan Installation Output"
 
 set -o pipefail
-curl -sSfL https://github.com/leanprover/elan/releases/download/v3.1.1/elan-x86_64-unknown-linux-gnu.tar.gz | tar xz
+# curl -sSfL https://github.com/leanprover/elan/releases/download/v3.1.1/elan-x86_64-unknown-linux-gnu.tar.gz | tar xz
+curl -sSfL https://github.com/leanprover/elan/releases/download/v3.1.1/elan-aarch64-apple-darwin.tar.gz | tar xz
 ./elan-init -y --default-toolchain none
 rm -f elan-init
 
-echo "$HOME/.elan/bin" >> "$GITHUB_PATH"
-"$HOME"/.elan/bin/lean --version          
+echo "$HOME/.elan/bin" >>"$GITHUB_PATH"
+"$HOME"/.elan/bin/lean --version
 "$HOME"/.elan/bin/lake --version
 
 echo "::endgroup::"