<div dir="ltr">I think you should be able to cancel builds manually as well, so that might be the way to go in this specific case.<div><br></div><div>Best,</div><div>Johan</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Feb 2, 2018 at 11:08 AM, Mateusz Loskot <span dir="ltr"><<a href="mailto:mateusz@loskot.net" target="_blank">mateusz@loskot.net</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi Johan,<br>
<span class=""><br>
On 2 February 2018 at 10:12, Johan Uhle <<a href="mailto:johan@mapbox.com">johan@mapbox.com</a>> wrote:<br>
><br>
> auto-cancellation on Travis is enabled. It only cancels pending builds<br>
> though, so does not kick in for force pushes if the build is already<br>
> running.<br>
<br>
</span>Yes, it cancels pending only indeed.<br>
I just had an impression that it did not cancel pending build - I git<br>
push forced<br>
my PR 2-3 times within a few minutes. I might got confused though.<br>
<div class="HOEnZb"><div class="h5"><br>
Best regards,<br>
--<br>
Mateusz Loskot, <a href="http://mateusz.loskot.net" rel="noreferrer" target="_blank">http://mateusz.loskot.net</a><br>
<br>
______________________________<wbr>_________________<br>
OSRM-talk mailing list<br>
<a href="mailto:OSRM-talk@openstreetmap.org">OSRM-talk@openstreetmap.org</a><br>
<a href="https://lists.openstreetmap.org/listinfo/osrm-talk" rel="noreferrer" target="_blank">https://lists.openstreetmap.<wbr>org/listinfo/osrm-talk</a><br>
</div></div></blockquote></div><br></div>