chore(CI): Disable OCaml 4.08 on macOS

OCamlPro / alt-ergo

OCamlPro public development repository for Alt-Ergo

https://alt-ergo.ocamlpro.com/

Other

126 stars 33 forks source link

Closed bclement-ocp closed 2 months ago

bclement-ocp commented 2 months ago

It is consistently failing: that version of OCaml no longer seems to be available on macOS.

We are still testing on macOS with other versions of OCaml and this version of OCaml on Linux.