update workflow

2023-11-28 13:45:13 +01:00
parent 2e121363b3
commit d0636b1d85
1 changed files with 1 additions and 1 deletions
@@ -9,7 +9,7 @@ jobs:
        run: |
          set -o pipefail
          curl -sSfL https://github.com/leanprover/elan/releases/download/v3.0.0/elan-x86_64-unknown-linux-gnu.tar.gz | tar xz
-          ./elan-init -y --default-toolchain none
+          ./elan-init -y
          echo "$HOME/.elan/bin" >> $GITHUB_PATH
      - uses: actions/checkout@v4
      - uses: actions/setup-node@v3