Stream: Coq devs & plugin devs

Topic: OCaml 5.0 and Coq's CI


view this post on Zulip 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: Feb 22 2024 at 05:02 UTC