Docker CI

Merge branch 'delim_staging' of github.com:logsem/gitrees into delim_… #183

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build_nix	12m 46s
build (coqorg/coq:8.17)	17m 2s
build (coqorg/coq:8.18)	17m 23s
	47m 11s