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: Jun 05 2023 at 10:01 UTC