According to https://github.com/coq/coq/blob/master/dev/ci/ci-basic-overlay.sh Menhir's target branch for overlays is 20220210 but it looks quite behind a "master" branch. Is the target branch still 20220210?
basic-overlay is the source of truth
But here I get: "The target branch 20220210 does not exist."
There is a "release-branch-20220210" on which I can merge-request.
it's a tag not a branch
So which is the branch I should target?
master I guess
but then what is 20220210 in https://github.com/coq/coq/blob/master/dev/ci/ci-basic-overlay.sh?
the tag we use currently
you can change it
(Trying to grasp an important piece of truth from the source)
So the source of truth needs to be updated?
if you want to
a file can be the source of truth, but you have the power
ok, and for metacoq?
we're on a branch for metacoq so just submit the overlays
I'm asking because metacoq's "main" looks broken.
should be fixed since https://github.com/MetaCoq/metacoq/pull/995
or is it another error?
funny error https://gitlab.inria.fr/coq/coq/-/jobs/3691631
the http
job ran the day after the menhir
job so go a different date
That's so funny :lol:. Morale: you can't move the Menhir.
I'll try to think about it tomorrow, but my brain is probably hopelessly broken.
https://github.com/coq/coq/pull/18408
Last updated: Oct 13 2024 at 01:02 UTC