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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build project
2m 1s
2m 1s