message: fix: print the installed elan toolchains.
diff: @@ -61,6 +61,7 @@ jobs:
  ls -al "$HOME/.elan/bin"
  elan --version
  elan toolchain link master "$(pwd)/lean4"
  + elan toolchain list
  - name: Install 'leanprover/lean4:stable' version
  run: elan toolchain install leanprover/lean4:stable
  - name: Run tests
  