diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index f0407b2..584b54b 100644
--- 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