State of the continuous integration infrastructure
This page gathers known issues about the CI infrastructure.
You can use the label kind: ci-failure
to filter issues about unwanted / unexpected failures in the CI.
You can use the label kind: infrastructure
for more generic issues about the infrastructure, CI included.
Some notes about documentation on the backend setup:
- "we had https://docs.gitlab.com/ee/administration/settings/continuous_integration.html#keep-the-latest-artifacts-for-all-jobs-in-the-latest-successful-pipelines checked (I'm unchecking now, it was already unchecked on .com)" note that we push many branches on gitlab, c.f. discussion at https://coq.zulipchat.com/#narrow/stream/237656-Coq-devs-.26-plugin-devs/topic/Migration.20to.20Inria.20GitLab.20for.20CI.20.28instead.20of.20GitLab.2Ecom.29/near/392347126
- Inria custom runners docs https://gitlab.inria.fr/inria-ci/custom-runner/
The previous entries on this page have been archived, please look in the history if you need to access them.
To the extent possible under law, the contributors of “Cocorico!, the Coq wiki” have waived all copyright and related or neighboring rights to their contributions.
By contributing to Cocorico!, the Coq wiki, you agree that you hold the copyright and you agree to license your contribution under the CC0 license or you agree that you have permission to distribute your contribution under the CC0 license.