Jason Gross (Jun 20 2021 at 05:17): Jason Gross (Jun 20 2021 at 05:17):It seems that coqbot is stuck in a loop restarting build:base every time it fails. Furthermore, every time it fails, the bot considers the pipeline to have finished, and hence posts a fresh message about minimization being available.
Gaëtan Gilbert (Jun 20 2021 at 09:03):I cancelled the job
Théo Zimmermann (Jun 20 2021 at 12:43):We should make the bot detect and be more robust to this kind of situation. In the meanwhile, cancelling a job that is being restarted over and over is indeed the trick to stop the loop.
Last updated: Sep 28 2023 at 10:01 UTC