Stream: Coq devs & plugin devs

Topic: OCaml 5.0 and Coq's CI

Emilio Jesús Gallego Arias (Dec 16 2022 at 16:00):

Hi folks, now that OCaml 5.0 is released, how do we want to test it in Coq's CI? There are several choices that I can see, but not sure what would be the best one.

Last updated: Apr 19 2024 at 06:02 UTC