<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Thu, Nov 19, 2015 at 5:53 AM, Samuel Mehrbrodt <span dir="ltr"><<a href="mailto:Samuel.Mehrbrodt@cib.de" target="_blank">Samuel.Mehrbrodt@cib.de</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Maybe this plugin would help, also for the problems Ashod mentioned: <a href="https://github.com/banyan/jenkins-ci-skip-plugin" rel="noreferrer" target="_blank">https://github.com/banyan/jenkins-ci-skip-plugin</a><br>
<br>
It allows to skip Jenkins build by adding [ci skip] to the commit message.<br><br></blockquote><div><br></div><div>This is useful in general, but not for my case.</div><div><br></div><div>Example of my case is: You push a patch, and within 10 minutes you see Mac failed. The fix is trivial. Linux and Windows builds have still some ways to go (and will probably succeed). 6 builds are running in parallel, so it's going to be another 90 mins or so. You push the fix but you have to wait even longer for the results.</div><div><br></div><div>This is the waste I'm talking about. There is no reason to let the Windows and Linux builds continue building once an update is pushed. I suspect this is a common enough a case that is worth doing something about (especially if it's not too much work).</div><div><br></div><div>And I expect (read: hope) that simply cancelling ongoing builds for a given gerrit ID should relatively easy. So is there any reason not to do it?</div></div><br></div></div>