Skip to content
CI

Adapted the readme to the new "especialize with' syntax. #19

Sign in to view logs

Adapted the readme to the new "especialize with' syntax.

Adapted the readme to the new "especialize with' syntax. #19

Run time

Learn about OS pricing on GitHub Actions
Job Run time
test (coqorg/coq:dev)
2m 14s
build (coqorg/coq:dev)
2m 24s
build (coqorg/coq:8.20)
2m 17s
build (coqorg/coq:8.19)
2m 17s
test (coqorg/coq:8.20)
2m 16s
build (coqorg/coq:8.18)
2m 14s
test (coqorg/coq:8.19)
2m 3s
build (coqorg/coq:8.17)
2m 14s
test (coqorg/coq:8.18)
2m 4s
test (coqorg/coq:8.17)
2m 13s
build (coqorg/coq:8.16)
2m 15s
test (coqorg/coq:8.16)
2m 2s
26m 33s