Check toolchain file

feat: improve hovers while editing Verso documents #133

Sign in to view logs

Triggered via pull request August 4, 2025 12:53

david-christiansen

opened #492

better-hovers

Status Success

Total duration 12s

Artifacts –

pull-request-toolchains.yml

on: pull_request

Check for "nightly" in lean-toolchain