Docker CI

Merge pull request #206 from andres-erbsen/remove-Ndigits #82

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (coqorg/coq:dev)	10m 14s
build (coqorg/coq:8.19)	1m 35s
build (coqorg/coq:8.18)	11m 3s
	22m 52s