Skip to content
.github/workflows/blueprint.yml

Prove that if the positive cone is normal, the group is right ordered #44

Sign in to view logs

Prove that if the positive cone is normal, the group is right ordered

Prove that if the positive cone is normal, the group is right ordered #44

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build project
7m 24s
7m 24s