Skip to content

Download latest Lean 4 #445

Download latest Lean 4

Download latest Lean 4 #445

Triggered via push January 7, 2024 18:41
Status Success
Total duration 36m 1s
Artifacts

docker.yml

on: push
Fit to window
Zoom out
Zoom in