I think you should be able to cancel builds manually as well, so that might
be the way to go in this specific case.
On Fri, Feb 2, 2018 at 11:08 AM, Mateusz Loskot <mate...@loskot.net> wrote:
> Hi Johan,
> On 2 February 2018 at 10:12, Johan Uhle <jo...@mapbox.com> wrote:
> > auto-cancellation on Travis is enabled. It only cancels pending builds
> > though, so does not kick in for force pushes if the build is already
> > running.
> Yes, it cancels pending only indeed.
> I just had an impression that it did not cancel pending build - I git
> push forced
> my PR 2-3 times within a few minutes. I might got confused though.
> Best regards,
> Mateusz Loskot, http://mateusz.loskot.net
> OSRM-talk mailing list
OSRM-talk mailing list