Skip to content
Extract, build, run

Merge pull request #5 from leanprover/ConcentratedBound #5

Sign in to view logs

Merge pull request #5 from leanprover/ConcentratedBound

Merge pull request #5 from leanprover/ConcentratedBound #5

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

test.yml

on: push
Build
49m 11s
Build
Fit to window
Zoom out
Zoom in