I thought that would be the case too. Unfortunately, I can not cancel any builds at https://travis-ci.org/Project-OSRM/osrm-backend/ I can cancel builds of projects where I'm a member/developer though.
Mateusz On 2 February 2018 at 11:44, Johan Uhle <jo...@mapbox.com> wrote: > 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 >> OSRMfirstname.lastname@example.org >> https://lists.openstreetmap.org/listinfo/osrm-talk > > > > _______________________________________________ > OSRM-talk mailing list > OSRMemail@example.com > https://lists.openstreetmap.org/listinfo/osrm-talk > -- Mateusz Loskot, http://mateusz.loskot.net _______________________________________________ OSRM-talk mailing list OSRMfirstname.lastname@example.org https://lists.openstreetmap.org/listinfo/osrm-talk