Jason Gross (May 26 2021 at 22:44): Jason Gross (May 26 2021 at 22:44):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.
Jason Gross (May 26 2021 at 23:08):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?
Jason Gross (May 26 2021 at 23:10):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...
Théo Zimmermann (May 27 2021 at 07:13):It should update the job URL because what we display is based on the information given by the GitLab webhook.
Théo Zimmermann (May 27 2021 at 07:13):That being said, we should look into this to verify that the webhook sends the correct URLs.
Théo Zimmermann (May 27 2021 at 07:19):For this, we would need to inspect the pipeline webhook (at https://gitlab.com/coq/coq/-/hooks/450551/edit).
Last updated: Sep 28 2023 at 11:01 UTC