Skip to content
CI

Enable more descriptive names for quantifiers and logical constants #79

Sign in to view logs

Enable more descriptive names for quantifiers and logical constants

Enable more descriptive names for quantifiers and logical constants #79

Run time

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