i recently made a minor editorial change to a file in the /docs
directory of the compiler repo and reflexively ran the 'smoke tests' on the associated PR. i was a bit pained to find that it took roughly 11 hours (in aggregate) to complete the CI jobs for this, which made me wonder:
- are documentation-only changes required to go through CI as a matter of policy, or can someone with commit access use their discretion to merge such changes directly?
- is the CI infrastructure sophisticated enough to skip most of its work if a change doesn't (or shouldn't) affect build artifacts?