Maxime Dénès (Aug 28 2020 at 20:31): Maxime Dénès (Aug 28 2020 at 20:31):Does anybody know what these failures mean? https://gitlab.com/coq/coq/-/pipelines/183273775
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
Gaëtan Gilbert (Aug 28 2020 at 20:39):I guess
Gaëtan Gilbert (Aug 28 2020 at 20:40):build with docker started https://gitlab.com/coq/coq/-/pipelines/183286962
Maxime Dénès (Aug 28 2020 at 21:01):Thanks!
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!
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.
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: Apr 19 2024 at 12:02 UTC