Check toolchain file

fix: two typos in user guide #1411

Sign in to view logs

Re-run triggered July 6, 2026 12:37

ejgallego

#907

whxvd:fix-two-typos

Status Success

Total duration 7s

Artifacts –

pull-request-toolchains.yml

on: pull_request

Check for "nightly" in lean-toolchain