Skip to content
.github/workflows/push.yml

Begin to generalise Frobenius argument to Bourbaki's version #340

Sign in to view logs

Begin to generalise Frobenius argument to Bourbaki's version

Begin to generalise Frobenius argument to Bourbaki's version #340

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Lint style
4s
Build project
2m 51s
2m 55s