Check toolchain file

Check toolchain file #1499

Sign in to view logs

Triggered via merge group August 10, 2026 06:56

Garmelon

Status Success

Total duration 10s

Artifacts –

pull-request-toolchains.yml

on: merge_group

Check for "nightly" in lean-toolchain