The LeanInk way of Windows CI

utensil · Dec 12, 2023 · 27f31af · 27f31af
1 parent ba2876c
commit 27f31af
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/lean4.yml b/.github/workflows/lean4.yml
@@ -36,8 +36,8 @@ jobs:
         if: matrix.os == 'windows-latest'
         run: |
           curl -O --location https://raw.githubusercontent.com/leanprover/elan/master/elan-init.ps1
-          powershell -ExecutionPolicy Bypass -f elan-init.ps1 -NoPrompt:$True
-          del elan-init.ps1
+          .\elan-init.ps1 -NoPrompt 1 -DefaultToolchain none
+          echo "$HOME\.elan\bin" >> $env:GITHUB_PATH
       - uses: actions/checkout@v3
       - name: Setup Python
         uses: actions/setup-python@v4.6.1