fix: add the Elan installer to the nightly testing script (#49)

leanprover · Sep 18, 2024 · 20b2327 · 20b2327
1 parent fc4c15e
commit 20b2327
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/nightly.yml b/.github/workflows/nightly.yml
@@ -13,7 +13,7 @@ jobs:
     - name: Install elan
       run: |
         set -o pipefail
-        ${{ matrix.platform.installer }}
+        curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | sh -s -- -y --default-toolchain none
         echo "$HOME/.elan/bin" >> $GITHUB_PATH
 
     - name: Check out code