message: CI: switch to msys2 for windows because of the lean-4.0.0-windows.tar.zst artifact.
diff: @@ -15,6 +15,7 @@ jobs:
  artifact: build-macOS
  - name: Windows
  os: windows-latest
  + shell: msys2 {0}
  artifact: build-Windows
  runs-on: ${{ matrix.os }}
  name: ${{ matrix.name }}
  @@ -55,28 +56,17 @@ jobs:
  repo: leanprover/lean4
  check_artifacts: true
  search_artifacts: true
  -
  - name: Unpack Lean4 build on Ubuntu or MacOS
  - if: matrix.os == 'ubuntu-latest' || matrix.os == 'macos-latest'
  run: |
  mkdir lean4
  tar --use-compress-program=unzstd -xvf lean-*.tar.zst -C lean4 --strip-components 1
  ls -al ./lean4/bin
  chmod u+x ./lean4/bin/*
  ./lean4/bin/lean --version
  - - name: Unpack Lean4 build on Windows
  - if: matrix.os == 'windows-latest'
  - shell: msys2 {0}
  - run: |
  - mkdir lean4
  - tar --use-compress-program=unzstd -xvf lean-*.tar.zst -C lean4 --strip-components 1
  - ls -al lean4/bin
  - .\lean4\bin\lean --version
  - - name: Set path to elan
  + - name: Set path to elan on Linux or macOS
  run: |
  echo "$HOME/.elan/bin" >> $GITHUB_PATH
  - name: Setup elan toolchain
  - if: matrix.os == 'ubuntu-latest' || matrix.os == 'macos-latest'
  run: |
  curl -O --location https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh
  chmod u+x elan-init.sh
  @@ -85,15 +75,6 @@ jobs:
  ls -al "$HOME/.elan/bin"
  elan --version
  elan toolchain link master "$(pwd)/lean4"
  - - name: Setup elan toolchain
  - if: matrix.os == 'windows-latest'
  - run: |
  - curl -O --location https://raw.githubusercontent.com/leanprover/elan/master/elan-init.ps1
  - powershell -f ./elan-init.ps1 -y --default-toolchain leanprover/lean4:nightly
  - echo Checking location "%USERPROFILE%/.elan/bin"...
  - ls -al "%USERPROFILE%/.elan/bin"
  - elan --version
  - elan toolchain link master lean4
  - name: Install 'leanprover/lean4:stable' version
  run: |
  elan toolchain install leanprover/lean4:stable
  