Skip to content
Extract, build, run

Merge pull request #7 from leanprover/ConcentratedBound #41

Sign in to view logs

Merge pull request #7 from leanprover/ConcentratedBound

Merge pull request #7 from leanprover/ConcentratedBound #41

Triggered via push May 16, 2024 14:38
@jtristanjtristan
pushed 4bdb00e
main
Status Success
Total duration 47m 27s
Artifacts –

test.yml

on: push
Build
47m 18s
Build
Fit to window
Zoom out
Zoom in