Skip to content
CI

Pin camlp5 version of make switch to 8.02.01, fix typos in NAME_ASSUMS_TAC help #56

Sign in to view logs

Pin camlp5 version of make switch to 8.02.01, fix typos in NAME_ASSUMS_TAC help

Pin camlp5 version of make switch to 8.02.01, fix typos in NAME_ASSUMS_TAC help #56

Run time

Learn about OS pricing on GitHub Actions
Job Run time
OCaml 4.14, Camlp5 8.02 (make switch)
9m 8s
OCaml 4.05, Camlp5 7.10
5m 27s
14m 35s