Skip to content
Check toolchain file

Check toolchain file #1497

Sign in to view logs

Check toolchain file

Check toolchain file #1497

Triggered via merge group August 9, 2026 20:27
@david-christiansendavid-christiansen
⁠ 6510d00
Status Success
Total duration 11s
Artifacts –

pull-request-toolchains.yml

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