Skip to content
CI

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

Sign in to view logs

Support native compilation of HOL Light, add unit tests

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
OCaml 4.05, Camlp5 7.10
7m 43s
OCaml 4.14, Camlp5 8.03 (make switch)
9m 29s
17m 12s