Merge pull request #205 from coq-community/coq_18880 #80

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (coqorg/coq:dev)	10m 15s
build (coqorg/coq:8.19)	1m 40s
build (coqorg/coq:8.18)	10m 41s
	22m 36s