Check toolchain file

Check toolchain file #1504

Sign in to view logs

Triggered via merge group August 10, 2026 18:32

Garmelon

Status Success

Total duration 16s

Artifacts –

pull-request-toolchains.yml

on: merge_group

Check for "nightly" in lean-toolchain