Stream: coqbot devs & users

Topic: Failing to fetch checks?

view this post on Zulip Jason Gross (May 20 2021 at 19:51):

Why does coqbot only see the checks GitLab CI job library:ci-mathcomp (pull request), GitLab CI job plugin:ci-perennial (pull request), GitLab CI job windows64 (pull request) in https://github.com/coq/coq/pull/13969#issuecomment-845422586, and not plugin:ci-elpi?

view this post on Zulip Théo Zimmermann (May 21 2021 at 10:05):

The best way to debug this would be to try out running the GraphQL request manually.

view this post on Zulip Théo Zimmermann (May 21 2021 at 11:05):

Using https://docs.github.com/en/graphql/overview/explorer, I've run the PullRequest_Refs request with variables {"owner": "coq","repo": "coq", "number": 13969} followed by the GetBaseAndHeadChecks request with variables {"appId": 31373,"owner": "coq","repo": "coq", "prNumber": 13969, "base": "6d08729ab58ce90b3c62df83609b47b6e0da6ebc", "head": "af028cfa01972ea25a6c7fa864145a19ec015dd8"} (I got the shas from the result of the previous request. What I get does contain elpi ("name": "GitLab CI job plugin:ci-elpi (pull request)"). Could it be a parsing issue then?

Last updated: Apr 18 2024 at 21:01 UTC