Skip to content
Check toolchain file

Check toolchain file #1451

Sign in to view logs

Check toolchain file

Check toolchain file #1451

Triggered via merge group July 27, 2026 12:09
@david-christiansendavid-christiansen
⁠ 637d128
Status Success
Total duration 6s
Artifacts –

pull-request-toolchains.yml

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