Un plugging especialize because it does not work in coq-8.18. #6

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (coqorg/coq:dev)	1m 49s
build (coqorg/coq:dev)	1m 49s
build (coqorg/coq:dev)	1m 49s
build (coqorg/coq:dev)	1m 49s
build (coqorg/coq:dev)	1m 49s
build (coqorg/coq:8.18)	1m 50s
build (coqorg/coq:8.18)	1m 50s
build (coqorg/coq:8.18)	1m 50s
build (coqorg/coq:8.18)	1m 50s
build (coqorg/coq:8.18)	1m 50s
build (coqorg/coq:8.17)	1m 49s
build (coqorg/coq:8.17)	1m 49s
build (coqorg/coq:8.17)	1m 49s
build (coqorg/coq:8.17)	1m 49s
build (coqorg/coq:8.17)	1m 49s
build (coqorg/coq:8.16)	1m 47s
build (coqorg/coq:8.16)	1m 47s
build (coqorg/coq:8.16)	1m 47s
build (coqorg/coq:8.16)	1m 47s
build (coqorg/coq:8.16)	1m 47s
tests	1m 14s
tests	1m 12s
tests	1m 14s
tests	1m 20s
tests	1m 11s
	42m 26s