Proposal: fast-ci label
There are many pull requests which are platform independent. For example, changes to the compiler pipeline before optimization, documentation, driver, some of the libraries etc.
I propose we add a "fast-ci" category. Pull requests marked as such would skip the full-build
step, or alternatively skip everything in full-build
except the debug build.
Marge Bot's pull requests would always undergo full validation. There's a risk that one bad MR would drag others down, but with judicious use I think this is a worthy tradeoff.
This could be implemented with Gitlab's rules, e.g.
rules:
- if: '$CI_MERGE_REQUEST_LABELS !~ /.*fast-ci.*/'