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

Reply via email to