Skip to content

Trigger CI for https://github.com/leanprover/lean4/pull/4371 #6863

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

Trigger CI for https://github.com/leanprover/lean4/pull/4371 #6863

Triggered via push June 7, 2024 22:58
Status Success
Total duration 1m 25s
Artifacts

build.yml

on: push
Fit to window
Zoom out
Zoom in