wip

Author: ejgallego

.github/workflows/ci.yml

@@ -25,8 +25,9 @@ jobs:
             - name: install elan
               run: |
                   set -o pipefail
-                  curl -sSfL https://github.com/leanprover/elan/releases/download/v4.1.2/elan-x86_64-unknown-linux-gnu.tar.gz | tar xz
-                  ./elan-init -y --default-toolchain none
+                  curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | sh -s
+                  # curl -sSfL https://github.com/leanprover/elan/releases/download/v4.1.2/elan-x86_64-unknown-linux-gnu.tar.gz | tar xz
+                  elan-init -y --default-toolchain none
                   echo "$HOME/.elan/bin" >> "$GITHUB_PATH"
 
             - uses: actions/checkout@v5