Docker CI

Merge pull request #209 from MSoegtropIMC/fix_examples #89

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (coqorg/coq:dev)	12m 50s
build (coqorg/coq:8.19)	11m 19s
build (coqorg/coq:8.18)	18m 16s
	42m 25s