Stream: coqbot devs & users

Topic: Infinitely repeating CI restarts and minimization messages


view this post on Zulip 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.

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

I cancelled the job

view this post on Zulip 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: Jan 31 2023 at 11:01 UTC