Stream: Coq devs & plugin devs

Topic: Strange CI failures


view this post on Zulip Maxime Dénès (Aug 28 2020 at 20:31):

Does anybody know what these failures mean? https://gitlab.com/coq/coq/-/pipelines/183273775

view this post on Zulip Gaëtan Gilbert (Aug 28 2020 at 20:38):

pipeline wasn't run for https://github.com/coq/coq/pull/11742 (no clue why)
so the need to set the docker image to build was not noticed

view this post on Zulip Gaëtan Gilbert (Aug 28 2020 at 20:39):

I guess

view this post on Zulip Gaëtan Gilbert (Aug 28 2020 at 20:40):

build with docker started https://gitlab.com/coq/coq/-/pipelines/183286962

view this post on Zulip Maxime Dénès (Aug 28 2020 at 21:01):

Thanks!

view this post on Zulip Théo Zimmermann (Aug 29 2020 at 09:30):

We should have been triggered by the fact that it is github-action and not coqbot who removed the needs: rebase label!

view this post on Zulip Théo Zimmermann (Aug 29 2020 at 09:31):

Anyway, I'll see if I can identify the source of the failure to run this pipeline.

view this post on Zulip Théo Zimmermann (Aug 29 2020 at 10:23):

OK it turns out that this was again an occurrence of https://github.com/coq/bot/issues/98. Until we fix this, I wonder if we shouldn't revert https://github.com/coq/bot/pull/89.


Last updated: Oct 16 2021 at 03:02 UTC