Skip to content
.github/workflows/push_pr.yml

Added some \lean's and \leanok's to the blueprint, split proofs in 10.2 and 11.6. #235

Sign in to view logs

Added some \lean's and \leanok's to the blueprint, split proofs in 10.2 and 11.6.

Added some \lean's and \leanok's to the blueprint, split proofs in 10.2 and 11.6. #235

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Lint style
1s
Build project
6m 26s
6m 27s