Skip to content
CI

Added a miscellaneous collection of theorems, including various ring #90

Sign in to view logs

Added a miscellaneous collection of theorems, including various ring

Added a miscellaneous collection of theorems, including various ring #90

Run time

Learn about OS pricing on GitHub Actions
Job Run time
OCaml 4.05, Camlp5 7.10
5m 26s
OCaml 4.14, Camlp5 8.03 (make switch)
9m 46s
15m 12s