Skip to content
.github/workflows/lean_build.yml

Formal version of Furstenberg's infinitude of primes, fix blueprint t… #282

Sign in to view logs

Formal version of Furstenberg's infinitude of primes, fix blueprint t…

Formal version of Furstenberg's infinitude of primes, fix blueprint t… #282

Triggered via push November 12, 2024 15:30
@mo271mo271
pushed 9704e03
main
Status Success
Total duration 2m 13s
Artifacts –

lean_build.yml

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