message: fix: ci no longer installs lean versions
diff: @@ -59,10 +59,6 @@ jobs:
  if: matrix.os == 'windows-latest'
  run: |
  echo "$HOME\.elan\bin" >> $env:GITHUB_PATH
  - - name: Install 'leanprover/lean4:stable' version
  - run: |
  - elan toolchain install leanprover/lean4:stable
  - elan toolchain list
  - name: Run tests
  uses: GabrielBB/xvfb-action@v1.0
  with:
  