Waste of computing resources in pull requests that only change the ddoc

[BBasile via Digitalmars-d]

On Friday, 4 March 2016 at 09:36:03 UTC, Seb wrote:
> On Friday, 4 March 2016 at 09:03:43 UTC, BBasile wrote:
>> [...]
>
> I totally agree that this is a problem, but sometimes there are 
> weird side effects, e.g.
>
> https://github.com/D-Programming-Language/phobos/pull/4049
>
> (it does change a bit more than just ddoc though)

This case should be detected by the tool.