Stream: Coq devs & plugin devs

Topic: CI updates for the dune build


view this post on Zulip Emilio Jesús Gallego Arias (Feb 01 2022 at 10:52):

Hi CI folks (cc: @Ali Caglayan @Théo Zimmermann @Gaëtan Gilbert ) , now that https://github.com/coq/coq/pull/15560 is ready, it seems to me we need to restructure our CI a bit, and I think it'll be a nice improvement. In particular, it seems to me that now we should have two cases:

But some questions do remain, for example,

view this post on Zulip Théo Zimmermann (Feb 01 2022 at 10:55):

As long as the .install targets are tested (i.e., we go all the way to putting things in _build/install---and I'm thinking at the doc targets in particular), I don't think that actually testing the installation is that useful (this would be testing Dune more than it would be testing Coq). We can rely on what is in _build/install and proceed from there to test CI plugin and library targets...

view this post on Zulip Enrico Tassi (Feb 01 2022 at 12:01):

what about the ocaml versions? Should be choose edge for the dev, and keep the olders on release? In other words, how should our "CI matrix" look like?

As I wrote in CEP 52, we want to test at least the version of ocaml the platform is using, so @Michael Soegtrop should be in the loop

view this post on Zulip Karl Palmskog (Feb 01 2022 at 12:09):

apparently, the OCaml versions supported by the Platform is shrinking due to package dependencies.

view this post on Zulip Emilio Jesús Gallego Arias (Feb 01 2022 at 12:46):

I think tho the platfrom is covered by its own CI, right? Sorry I was not clear I was talking about the gitlab setup

view this post on Zulip Michael Soegtrop (Feb 01 2022 at 14:28):

Coq Platform currently uses OCaml 4.10.2. Older versions might work (if The Ubuntu 21 patch has been backported) but 4.11 didn't when I tried last (a few weeks back).

view this post on Zulip Paolo Giarrusso (Feb 01 2022 at 17:30):

the Ubuntu 21 patch was backported indeed.

view this post on Zulip Paolo Giarrusso (Feb 01 2022 at 17:30):

Also, 4.11 doesn't support ARM so it might require a second OCaml version.


Last updated: Feb 06 2023 at 19:03 UTC