CI

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
OCaml 4.14, Camlp5 8.03 (make switch)	12m 44s
OCaml 4.05, Camlp5 7.10	7m 44s
	20m 28s