Quickchick looks broken, what's going on?
Isn't it coq/coq#12441?
I didn't see that somehow, thanks.
Why is MetaCoq broken on the CI? I don't see any commit that could have affected it upstream?
Maybe change in equations? There was https://github.com/mattam82/Coq-Equations/compare/74f048116242d7fb13cbc554522f02fe270720d..723f17f3f19302a2d6fb99cfb4983c9b465a9618 between https://gitlab.com/coq/coq/-/jobs/593210622 and https://gitlab.com/coq/coq/-/jobs/593573820 (last success pipe and first fail pipe)
Summoning @Matthieu Sozeau
@Enrico Tassi I'm curious to know why you triggered a
enabled_all_addons job on master. FTR there are a few known issues: dynlink errors when building with OCaml >= 4.08, some add-ons that are not in CI are not likely to build on master...
When did I?
I don't recall doing this, I can't find a reason. Is my account begin hacked?
Is the "cron" job I started a month still on?
You make me worry
That might be the cron job indeed!
It might be better to deactivate it for the time being since we know it won't build.
OK, I trashed it.
Oh right, I forgot MetaCoq was following equations master. I'll fix that ASAP
Last updated: Oct 21 2021 at 21:03 UTC