Skip to content

Trigger CI for https://github.com/leanprover/lean4/pull/6145 #9842

Trigger CI for https://github.com/leanprover/lean4/pull/6145

Trigger CI for https://github.com/leanprover/lean4/pull/6145 #9842

Triggered via push November 21, 2024 03:10
Status Success
Total duration 1m 45s
Artifacts

build.yml

on: push
Fit to window
Zoom out
Zoom in