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.
I cancelled the job
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