Skip to content

Download latest Lean 4 #440

Download latest Lean 4

Download latest Lean 4 #440

Re-run triggered January 7, 2024 18:20
Status Success
Total duration 15m 40s
Artifacts

docker.yml

on: pull_request
Fit to window
Zoom out
Zoom in