Skip to content
.github/workflows/push_pr.yml

Three lines lemma on any strip from the Mathlib version on the unit strip #58

Sign in to view logs

Three lines lemma on any strip from the Mathlib version on the unit strip

Three lines lemma on any strip from the Mathlib version on the unit strip #58

Run time

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