Docker CI

Merge pull request #2 from logsem/callcc-non-cps #150

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build_nix	11m 28s
build (coqorg/coq:8.17)	9m 22s
build (coqorg/coq:8.18)	9m 40s
	30m 30s