Docker CI

adapt to coq/coq#19872 #54

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (coqorg/coq:8.9)	4m 23s
build (coqorg/coq:8.9)	4m 23s
build (coqorg/coq:8.11)	4m 27s
build (coqorg/coq:8.11)	4m 27s
build (coqorg/coq:8.12)	5m 1s
build (coqorg/coq:8.12)	4m 46s
build (coqorg/coq:8.13)	6m 8s
build (coqorg/coq:8.13)	5m 45s
build (coqorg/coq:8.14)	5m 26s
build (coqorg/coq:8.14)	5m 16s
build (coqorg/coq:8.15)	5m 24s
build (coqorg/coq:8.15)	5m 8s
build (coqorg/coq:8.16)	5m 6s
build (coqorg/coq:8.16)	4m 53s
build (coqorg/coq:8.17)	12m 37s
build (coqorg/coq:8.17)	4m 45s
build (coqorg/coq:8.18)	12m 7s
build (coqorg/coq:8.18)	4m 37s
build (coqorg/coq:8.19)	59m 0s
build (coqorg/coq:8.19)	57m 32s
build (coqorg/coq:dev)	3m 21s
build (coqorg/coq:dev)	8m 34s
	3h 53m 6s