Skip to content
CI

Moving closed notations at level 0 in anticipation of the removal of the Coq fallback ignoring levels when nothing else applies. #652

Sign in to view logs

Moving closed notations at level 0 in anticipation of the removal of the Coq fallback ignoring levels when nothing else applies.

Moving closed notations at level 0 in anticipation of the removal of the Coq fallback ignoring levels when nothing else applies. #652

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (coqorg/coq:dev)
9m 24s
build (coqorg/coq:8.18)
9m 15s
build (coqorg/coq:8.17)
19m 1s
build (coqorg/coq:8.16)
21m 34s
build (coqorg/coq:8.15)
28m 55s
build (coqorg/coq:8.14)
26m 15s
1h 54m 24s