Skip to content
Lean Action CI

Adjusted toolchain #2

Sign in to view logs

Adjusted toolchain

Adjusted toolchain #2

Triggered via push November 16, 2025 16:35
@bwbushbwbush
pushed ec88ed4
main
Status Success
Total duration 1m 22s
Artifacts –

lean_action_ci.yml

on: push
lean
1m 18s
lean
Fit to window
Zoom out
Zoom in