message: fix: debug windows path problems...
diff: @@ -48,11 +48,6 @@ jobs:
  if: matrix.os == 'ubuntu-latest' || matrix.os == 'macos-latest'
  run: |
  echo "$HOME/.elan/bin" >> $GITHUB_PATH
  - - name: Set path to elan on Windows
  - shell: pwsh
  - if: matrix.os == 'windows-latest'
  - run: |
  - echo "$HOME\.elan\bin" >> $GITHUB_PATH
  - name: Setup elan toolchain on Linux or macOS
  if: matrix.os == 'ubuntu-latest' || matrix.os == 'macos-latest'
  run: |
  @@ -65,6 +60,13 @@ jobs:
  mkdir temp
  cp -r $HOME/.elan//toolchains/leanprover--lean4---nightly/* temp
  elan toolchain link master temp
  +
  + - name: Set path to elan on Windows
  + shell: pwsh
  + if: matrix.os == 'windows-latest'
  + run: |
  + echo "$HOME\.elan\bin" | Out-File -FilePath $env:GITHUB_PATH -Encoding utf8 -Append
  + Write-Host "GITHUB_PATH=$env:GITHUB_PATH"
  - name: Setup elan toolchain on Windows
  if: matrix.os == 'windows-latest'
  shell: pwsh
  @@ -72,12 +74,15 @@ jobs:
  curl -O --location https://raw.githubusercontent.com/leanprover/elan/master/elan-init.ps1
  .\elan-init.ps1 -y --default-toolchain leanprover/lean4:nightly
  echo Checking location "$HOME\.elan\bin"...
  + Write-Host "GITHUB_PATH=$env:GITHUB_PATH"
  + Write-Host "PATH=$env:PATH"
  dir "$HOME\.elan\bin"
  set PATH
  elan --version
  mkdir temp
  xcopy /q /s "$HOME\.elan\bin\toolchains\leanprover--lean4---nightly\*.*" temp
  elan toolchain link master temp
  +
  - name: Install 'leanprover/lean4:stable' version
  run: |
  elan toolchain install leanprover/lean4:stable
  