Code

Test AE on 4.08.1 and 4.14.1#803

Code

Merged

bclement-ocp merged 6 commits intoOCamlPro:nextOCamlPro/alt-ergo:nextfrom Halbaroth:lower-boundsHalbaroth/alt-ergo:lower-boundsCopy head branch name to clipboardSep 12, 2023

+15-10

Commits

Commits on Sep 11, 2023

• Test AE on 4.08.0 and 4.14.2

  Halbaroth

  committed
  7ecb799

• Use 4.14.1

  Halbaroth

  committed
  f2ea8a8

• Use 4.08.1 as the lower bound

  Halbaroth

  committed
  8386e07

• Update the changes log

  Halbaroth

  committed
  1420daf

• Add OCaml 5.0.0

  Halbaroth

  committed
  f7270f4

• Remove artefact

  Halbaroth

  committed
  d4964d9