Skip to content
CI

Support native compilation of HOL Light, add unit tests #91

Sign in to view logs

Support native compilation of HOL Light, add unit tests

Support native compilation of HOL Light, add unit tests #91

Run time

Learn about OS pricing on GitHub Actions
Job Run time
OCaml 4.05, Camlp5 7.10
7m 22s
OCaml 4.14, Camlp5 8.03 (make switch)
14m 26s
21m 48s