Skip to content
Verify

Merge pull request #5 from leanprover/ConcentratedBound #13

Sign in to view logs

Merge pull request #5 from leanprover/ConcentratedBound

Merge pull request #5 from leanprover/ConcentratedBound #13

Triggered via push April 19, 2024 14:47
@jtristanjtristan
pushed 58a1041
main
Status Success
Total duration 1h 0m 44s
Artifacts –

lean_build.yml

on: push
Build
1h 0m
Build
Fit to window
Zoom out
Zoom in