Check toolchain file

Check toolchain file #1482

Sign in to view logs

Triggered via merge group August 3, 2026 17:15

Garmelon

Status Success

Total duration 7s

Artifacts –

pull-request-toolchains.yml

on: merge_group

Check for "nightly" in lean-toolchain