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?
The best way to debug this would be to try out running the GraphQL request manually.
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: Oct 13 2024 at 01:02 UTC