test windows workflow

hhu-adam · Aug 21, 2024 · c480ed5 · c480ed5
1 parent bd97653
commit c480ed5
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -35,7 +35,8 @@ jobs:
       - name: TEST Install elan (Windows)
         if: matrix.os == 'windows-latest'
         run: |
-          curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | sh
+          curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf > elan-init.sh
+          bash elan-init.sh -y
         shell: bash
       # - name: Install elan (Windows)
       #   if: matrix.os == 'windows-latest'