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
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.
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.
I just added the github app to docker-mathcomp, please tell me if that's enough
is the MathComp
dev Docker image getting updated properly? I keep getting coq-elpi issues in CI, even though they have disappeared locally with
coq.dev (coq-elpi overlay was merged 2-3 days ago): https://github.com/coq-community/graph-theory/actions/runs/3965033951/jobs/6794395645
We should ask @Erik Martin-Dorel but I fear his availability is pretty low currently.
Hi @Karl Palmskog @Pierre Roux, thanks for the ping. FYI:
there is indeed a systematic failure on the pipelines, because GitLab's montly CI minutes have expired and the runners need to be restarted or so
(I don't know the details as @Maxime Dénès handles that part, maybe he can take a look at this next Monday?)
mathcomp/mathcomp-dev:coq-8.17 image, it wasn't available up to now because of a detail to fix, so I opened this PR:
@Karl Palmskog good news, the latest pipeline succeeded:
Hence these two images:
re-running a failed job to test
works great, thanks!
@Erik Martin-Dorel it's now possible to do
mathcomp/mathcomp:1.16.0-coq-8.17. Maybe a good exercise for our new co-maintainer?
If you are talking about the preparation of docker packages for MathComp 1.16.0, there is actually a PR in progress. It looks like it needs to be mirrored on gitlab and this synchronization is taking time (or needs to be triggered manually).
Last updated: Feb 09 2023 at 02:02 UTC