Check toolchain file

doc: fix "paramter" and "correponding" typos #1468

Sign in to view logs

Re-run triggered July 31, 2026 13:47

david-christiansen

#939

Chessing234:docs/typo-parameter-corresponding

Status Success

Total duration 8s

Artifacts –

pull-request-toolchains.yml

on: pull_request

Check for "nightly" in lean-toolchain