Skip to content
CI

Factor out loader functions and core loads as hol_loader.ml and hol_lib.ml #71

Sign in to view logs

Factor out loader functions and core loads as hol_loader.ml and hol_lib.ml

Factor out loader functions and core loads as hol_loader.ml and hol_lib.ml #71

Run time

Learn about OS pricing on GitHub Actions
Job Run time
OCaml 4.14, Camlp5 8.03 (make switch)
8m 30s
OCaml 4.05, Camlp5 7.10
5m 26s
13m 56s