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