Docker CI

Merge branch 'callcc-non-cps' of github.com:logsem/gitrees into callc… #152

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build_nix	11m 14s
build (coqorg/coq:8.17)	9m 26s
build (coqorg/coq:8.18)	9m 35s
	30m 15s