Docker CI

Using the `rocq-coinduction` library #23

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (rocq/rocq-prover:dev)	3m 40s
build (coqorg/coq:8.14)	1m 54s
build (coqorg/coq:8.18)	2m 0s
build (coqorg/coq:8.15)	2m 13s
build (coqorg/coq:8.17)	1m 57s
build (rocq/rocq-prover:9.0)	3m 49s
build (coqorg/coq:8.16)	1m 56s
build (coqorg/coq:8.19)	1m 55s
build (coqorg/coq:8.20)	1m 56s
	21m 20s