FTR, I just deployed a version of coqbot which systematically starts pipelines with
FULL_CI=false unless the label
needs: full CI was added to the PR.
If someone is about to push somewhere in a PR branch, please let me know so that we check it works.
Last updated: Dec 01 2023 at 06:01 UTC