There is an issue with Travis CI https://github.com/travis-ci/travis-ci/issues/4867 about this.
Sadly doesn't look it would be getting solved soon. Cheers, Patrick On Fri, Feb 2, 2018 at 10:58 AM, Mateusz Loskot <mate...@loskot.net> wrote: > 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 >>> 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 >> > > > > -- > 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