Skip to content
ci

fixes for leanprover/lean4#5380 #8301

Sign in to view logs

fixes for leanprover/lean4#5380

fixes for leanprover/lean4#5380 #8301

Triggered via push September 18, 2024 04:39
@semorrisonsemorrison
pushed 016fdbe
lean-pr-testing-5380
Status Success
Total duration 1m 28s
Artifacts –

build.yml

on: push
Build
1m 19s
Build
Fit to window
Zoom out
Zoom in