Stream: math-comp devs

Topic: docker-mathcomp CI


view this post on Zulip Théo Zimmermann (Jul 28 2021 at 14:07):

I've seen some coqbot logs that make me think that something is off in the coqbot installation for the docker-mathcomp repository:

Error while creating check run: Server responded to GraphQL request with errors: Resource not accessible by integration

view this post on Zulip Théo Zimmermann (Jul 28 2021 at 14:09):

My interpretation of this is that coqbot is setup on the GitLab side (webhooks) but the GitHub App is not installed on the GitHub repo.

view this post on Zulip Théo Zimmermann (Jul 28 2021 at 14:10):

If that's correct, then this should be fixed by either removing the GitLab webhooks, or extending the repositories where the GitHub App is installed to include this one.

view this post on Zulip Cyril Cohen (Jul 29 2021 at 09:05):

I just added the github app to docker-mathcomp, please tell me if that's enough


Last updated: Aug 11 2022 at 02:03 UTC