Docker CI

quick ixmonad and examples (#55) #22

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (coqorg/coq:8.9)	4m 38s
build (coqorg/coq:8.11)	4m 29s
build (coqorg/coq:8.12)	5m 39s
build (coqorg/coq:8.13)	7m 38s
build (coqorg/coq:8.14)	58m 8s
build (coqorg/coq:8.15)	7m 27s
build (coqorg/coq:8.16)	6m 55s
build (coqorg/coq:8.17)	6m 44s
build (coqorg/coq:8.18)	6m 47s
build (coqorg/coq:dev)	13m 55s
	2h 2m 20s