Docker CI

Merge pull request #211 from coq-community/revert-210-revert-209-fix_… #93

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (coqorg/coq:dev)	12m 26s
build (coqorg/coq:8.19)	11m 22s
build (coqorg/coq:8.18)	18m 23s
	42m 11s