test windows workflow

hhu-adam · Aug 21, 2024 · eef98b9 · eef98b9
1 parent a906d14
commit eef98b9
Showing 1 changed file with 0 additions and 7 deletions.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -41,13 +41,6 @@ jobs:
           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'
-      #   run: |
-      #     curl -O --location https://raw.githubusercontent.com/leanprover/elan/master/elan-init.ps1
-      #     echo 1 | powershell -ExecutionPolicy Bypass -f elan-init.ps1
-      #     del elan-init.ps1
-      #   shell: pwsh
       - name: Add elan to PATH (Windows)
         if: matrix.os == 'windows-latest'
       #   run: (Resolve-Path ~/.elan/bin).Path >> $Env:GITHUB_PATH