coq/bot

coqbot can show light pipeline as cancelled when full pipeline is running.

Opened this issue · 0 comments

Calling the @coqbot run full CI now command may lead to the GitLab pipeline appearing like this while the full pipeline is running:

image

This is due to GitLab having sent the "pending" and "running" webhooks before the "cancelled" event for the previous pipeline. coqbot treats each of these events independently and doesn't check that the "cancelled" event corresponds to what is currently displayed as the running pipeline (and even if it did, the two events could be treated asynchronously, resulting in a race condition leading to the same result).