message: fix: put the 'master' toolchain in a folder the test can assert.
diff: @@ -57,9 +57,9 @@ jobs:
  echo Checking location "$HOME/.elan/bin"...
  ls -al $HOME/.elan/bin
  elan --version
  - mkdir temp
  - cp -r $HOME/.elan//toolchains/leanprover--lean4---nightly/* temp
  - elan toolchain link master temp
  + mkdir master
  + cp -r $HOME/.elan//toolchains/leanprover--lean4---nightly/* master
  + elan toolchain link master master
  - name: Set path to elan on Windows
  shell: pwsh
  @@ -75,9 +75,9 @@ jobs:
  echo Checking location "$HOME\.elan\bin"...
  dir "$HOME\.elan\bin"
  elan --version
  - mkdir temp
  - xcopy /q /s "$HOME\.elan\toolchains\leanprover--lean4---nightly\*.*" temp
  - elan toolchain link master temp
  + mkdir master
  + xcopy /q /s "$HOME\.elan\toolchains\leanprover--lean4---nightly\*.*" master
  + elan toolchain link master master
  - name: Install 'leanprover/lean4:stable' version
  run: |
  