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.
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
> I can cancel builds of projects where I'm a member/developer though.
> 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.
>> 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
> Mateusz Loskot, http://mateusz.loskot.net
> OSRM-talk mailing list
OSRM-talk mailing list