Would it be possible to add a filter to the build trigger that would
skip documentation only changes like the configuration for AppVeyor?
(see .github/appveyor.yml) To my knowledge, we don't have any tests
dependent on the contents of documentation sources. This would really
increase the availability of the workers (especially the slower ones).
Ideally, this could be implemented server-side so as to eliminate
"false" successes. I would think that this would help those watching
the buildbots (Victor!) for erroneous commits.
--
Jeremy Kloth