Stream: coqbot devs & users

Topic: Incorrect Checks Fetched


view this post on Zulip 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.

view this post on Zulip 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?

view this post on Zulip 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...

view this post on Zulip 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.

view this post on Zulip 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.

view this post on Zulip 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: May 28 2023 at 18:29 UTC