-
Improvement
-
Resolution: Unresolved
-
Major
-
None
Sometimes people need only to change some commit messages in PR, but the diff remains untouched. It would be nice, not to trigger build in such cases - it is waste of resources and time