Re: [OSRM-talk] [Travis CI] Auto Cancellation for pull requests?

2018-02-02 Thread Mateusz Loskot
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  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  wrote:
>>
>> Hi Johan,
>>
>> On 2 February 2018 at 10:12, Johan Uhle  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


Re: [OSRM-talk] [Travis CI] Auto Cancellation for pull requests?

2018-02-02 Thread Patrick Niklaus
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  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  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  wrote:
>>>
>>> Hi Johan,
>>>
>>> On 2 February 2018 at 10:12, Johan Uhle  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


Re: [OSRM-talk] [Travis CI] Auto Cancellation for pull requests?

2018-02-02 Thread Johan Uhle
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  wrote:

> Hi Johan,
>
> On 2 February 2018 at 10:12, Johan Uhle  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


Re: [OSRM-talk] [Travis CI] Auto Cancellation for pull requests?

2018-02-02 Thread Mateusz Loskot
Hi Johan,

On 2 February 2018 at 10:12, Johan Uhle  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


Re: [OSRM-talk] [Travis CI] Auto Cancellation for pull requests?

2018-02-02 Thread Johan Uhle
Hi Mateusz,

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.

The Travis situation has been quite unsatisfactory recently, mostly due to
slow Mac OS builds. We are trying to come up with solutions to improve on
that.

Best,
Johan

On Thu, Feb 1, 2018 at 6:23 PM, Mateusz Loskot  wrote:

> Hi,
>
> TL;TR: Is the auto cancellation [1] configured in the Travis CI
> settings for OSRM?
>
> I've been git push -f updating one PR I submitted lately and
> I suspect the auto cancellation is not configured because arrival of new
> commit does not cancel the PR build job and the CI resources are
> unnecessarily kept busy.
>
> Perhaps the auto-cancellation could be enabled, for PRs only.
>
> [1] https://docs.travis-ci.com/user/customizing-the-build#
> Building-only-the-latest-commit
>
> 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