Docker CI

simplify proofs using conclude and conclude_using tactics #24

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (coqorg/coq:dev)	1h 15m 27s
build (coqorg/coq:8.18)	1h 11m 29s
build (coqorg/coq:8.17)	1h 12m 38s
build (coqorg/coq:8.16)	7m 53s
build (coqorg/coq:8.15)	1h 10m 50s
build (coqorg/coq:8.14)	1h 12m 25s
	6h 10m 42s