message: fix: windows setup still cannot 100% reliably bootstrap elan setup on CI machines.
diff: @@ -59,6 +59,14 @@ jobs:
  if: matrix.os == 'windows-latest'
  run: |
  echo "$HOME\.elan\bin" >> $env:GITHUB_PATH
  + - name: Setup elan toolchain on Windows
  + if: matrix.os == 'windows-latest'
  + shell: pwsh
  + run: |
  + curl -O --location https://raw.githubusercontent.com/leanprover/elan/master/elan-init.ps1
  + .\elan-init.ps1 -NoPrompt 1 -DefaultToolchain none
  + cd ./vscode-lean4/test/test-fixtures/simple
  + lean --version
  - name: Run tests
  uses: GabrielBB/xvfb-action@v1.0
  with:
  