Skip to content

Lean v4.13.0

Lean v4.13.0 #12

Triggered via push November 8, 2024 15:39
Status Success
Total duration 1m 22s
Artifacts
Fit to window
Zoom out
Zoom in