Skip to content
Bump lean-toolchain on nightly-testing

Bump lean-toolchain on nightly-testing #351

Sign in to view logs

Bump lean-toolchain on nightly-testing

Bump lean-toolchain on nightly-testing #351

Triggered via schedule November 24, 2025 10:01
@kim-emkim-em
⁠ b7c4fa0
main
Status Success
Total duration 17s
Artifacts –

bump_toolchain_nightly-testing.yml

on: schedule
update-toolchain
13s
update-toolchain
Fit to window
Zoom out
Zoom in