I think you should be able to cancel builds manually as well, so that might
be the way to go in this specific case.

Best,
Johan

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@openstreetmap.org
> https://lists.openstreetmap.org/listinfo/osrm-talk
>
_______________________________________________
OSRM-talk mailing list
OSRM-talk@openstreetmap.org
https://lists.openstreetmap.org/listinfo/osrm-talk

Reply via email to