CI on https://github.com/coq/coq/pull/15274 is done but still marked as running
Likely an issue with a webhook delivery. Unfortunately, it's impossible to get webhook data from GitLab more than about 24 hours in the past. So it's going to be hard to investigate. But maybe we should have a mechanism actively checking whether a long-running pipeline is actually finished.
coqbot doesn't run unless triggered right?
Maybe it would be good to do a manual trigger for checks twice a day
Indeed, something similar to what is already done for stale issues.
Last updated: Dec 07 2023 at 17:01 UTC