Stream: Coq devs & plugin devs

Topic: ci


view this post on Zulip Gaëtan Gilbert (Jun 03 2020 at 17:33):

Quickchick looks broken, what's going on?

view this post on Zulip Théo Zimmermann (Jun 03 2020 at 19:02):

Isn't it coq/coq#12441?

view this post on Zulip Gaëtan Gilbert (Jun 03 2020 at 19:09):

I didn't see that somehow, thanks.

view this post on Zulip Pierre-Marie Pédrot (Jun 13 2020 at 10:17):

Why is MetaCoq broken on the CI? I don't see any commit that could have affected it upstream?

view this post on Zulip Gaëtan Gilbert (Jun 13 2020 at 10:40):

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)

view this post on Zulip Pierre-Marie Pédrot (Jun 13 2020 at 14:15):

Summoning @Matthieu Sozeau

view this post on Zulip Théo Zimmermann (Jun 14 2020 at 08:38):

@Enrico Tassi I'm curious to know why you triggered a WINDOWS_ONLY / 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...

view this post on Zulip Enrico Tassi (Jun 14 2020 at 17:29):

When did I?

view this post on Zulip Enrico Tassi (Jun 14 2020 at 17:29):

I don't recall doing this, I can't find a reason. Is my account begin hacked?

view this post on Zulip Enrico Tassi (Jun 14 2020 at 17:30):

Is the "cron" job I started a month still on?

view this post on Zulip Enrico Tassi (Jun 14 2020 at 17:30):

You make me worry

view this post on Zulip Théo Zimmermann (Jun 14 2020 at 21:27):

That might be the cron job indeed!

view this post on Zulip Théo Zimmermann (Jun 14 2020 at 21:27):

It might be better to deactivate it for the time being since we know it won't build.

view this post on Zulip Enrico Tassi (Jun 15 2020 at 07:02):

OK, I trashed it.

view this post on Zulip Matthieu Sozeau (Jun 15 2020 at 09:39):

Oh right, I forgot MetaCoq was following equations master. I'll fix that ASAP


Last updated: Oct 21 2021 at 21:03 UTC