Why does coqbot think that the head check for ci-quickchick on https://github.com/coq/coq/pull/14328 is https://gitlab.com/coq/coq/-/jobs/1295397946/ ? This check is stale and canceled, and I've already restarted the relevant pipeline and the new quickchick run has completed.
Oh, is this because we don't update the pipeline check until the entire pipeline is finished, and hence cannot get the correct urls for the artifacts?
I'm confused by this, actually. When coqbot updates the pipeline check when you restart a pipeline, does it not update any of the job urls until all the jobs complete? This seems wrong...
It should update the job URL because what we display is based on the information given by the GitLab webhook.
That being said, we should look into this to verify that the webhook sends the correct URLs.
For this, we would need to inspect the pipeline webhook (at https://gitlab.com/coq/coq/-/hooks/450551/edit).
Last updated: Jan 31 2023 at 09:01 UTC