Skip to content
Check toolchain file

Check toolchain file #1472

Sign in to view logs

Check toolchain file

Check toolchain file #1472

Triggered via merge group July 31, 2026 14:00
@david-christiansendavid-christiansen
⁠ 655d4f6
Status Success
Total duration 11s
Artifacts –

pull-request-toolchains.yml

on: merge_group
Check for "nightly" in lean-toolchain
7s
Check for "nightly" in lean-toolchain
Fit to window
Zoom out
Zoom in