message: CI: fix pwsh script.
diff: @@ -102,8 +102,8 @@ jobs:
  run: |
  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"...
  - dir "%USERPROFILE%\.elan\bin"
  + echo Checking location "$HOME\.elan\bin"...
  + dir "$HOME\.elan\bin"
  elan --version
  elan toolchain link master lean4
  - name: Install 'leanprover/lean4:stable' version
  