Skip to content
Docker CI

put call/cc effects in a separate module #153

Sign in to view logs

put call/cc effects in a separate module

put call/cc effects in a separate module #153

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build_nix
11m 16s
build (coqorg/coq:8.17)
9m 18s
build (coqorg/coq:8.18)
9m 20s
29m 54s