Docker CI

Merge pull request #118 from coq-community/master+adapting-cast-using… #47

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (coqorg/coq:dev)	4m 10s
build (coqorg/coq:8.18)	3m 37s
build (coqorg/coq:8.17)	3m 33s
build (coqorg/coq:8.16)	3m 56s
build (coqorg/coq:8.15)	3m 40s
build (coqorg/coq:8.14)	3m 50s
build (coqorg/coq:8.13)	4m 19s
build (coqorg/coq:8.12)	3m 59s
build (coqorg/coq:8.11)	3m 59s
	35m 3s