From aeea62e3f94dc48bd145454c1842a243002aa9a4 Mon Sep 17 00:00:00 2001
From: austinletson <waustinletson@gmail.com>
Date: Wed, 14 Aug 2024 08:14:53 -0400
Subject: [PATCH] test: switch to macos elan download

---
 scripts/install_elan.sh | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/scripts/install_elan.sh b/scripts/install_elan.sh
index da56294..98752aa 100755
--- 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::"