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,
_build/install? (That already tests the install rules)
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...
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
apparently, the OCaml versions supported by the Platform is shrinking due to package dependencies.
I think tho the platfrom is covered by its own CI, right? Sorry I was not clear I was talking about the gitlab setup
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).
the Ubuntu 21 patch was backported indeed.
Also, 4.11 doesn't support ARM so it might require a second OCaml version.
Last updated: Dec 05 2023 at 06:01 UTC