Docker CI

ListSet: remove dead parameter #47

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (coqorg/coq:8.9)	4m 34s
build (coqorg/coq:8.9)	4m 34s
build (coqorg/coq:8.11)	4m 17s
build (coqorg/coq:8.11)	4m 17s
build (coqorg/coq:8.12)	4m 45s
build (coqorg/coq:8.12)	5m 3s
build (coqorg/coq:8.13)	7m 44s
build (coqorg/coq:8.13)	7m 44s
build (coqorg/coq:8.14)	7m 31s
build (coqorg/coq:8.14)	7m 31s
build (coqorg/coq:8.15)	7m 52s
build (coqorg/coq:8.15)	7m 52s
build (coqorg/coq:8.16)	7m 52s
build (coqorg/coq:8.16)	7m 52s
build (coqorg/coq:8.17)	7m 21s
build (coqorg/coq:8.17)	7m 21s
build (coqorg/coq:8.18)	7m 33s
build (coqorg/coq:8.18)	7m 33s
build (coqorg/coq:8.19)	1h 2m 29s
build (coqorg/coq:8.19)	1h 2m 29s
build (coqorg/coq:dev)	8m 21s
build (coqorg/coq:dev)	8m 21s
	4h 20m 56s