travis/AppVeyor can take a while to run, could this optimization be done:
* upon a git push, check if previous state before that push was green; if it was, and if commit doesn't change AST (eg only comments or spacing that doesn't change AST), then skip running travis/AppVeyor
EDIT:
This would make improving docs an easier process
EDIT as mentioned below, see Related PR #6999
Sure, we can add lots of rules like this. We need to make sure these rules can detect the desired circumstances reliably though.
(edited above)
The last thing we need is "clever" testing. Even whitespace changes can break the documentation generation, for example.
Even whitespace changes can break the documentation generation, for example.
for these, we could run only documentation generation, not the whole test suite
Related PR #6999
Since @Araq didn't like neither #6999 nor this revival, I'm closing this as a rejected proposal.
Most helpful comment
The last thing we need is "clever" testing. Even whitespace changes can break the documentation generation, for example.