Am 25.10.2017 um 12:16 schrieb Stephane Ducasse <stepharo.self@gmail.com>:

Thanks guys.

Let us move to tonel :)

So I have to watch out then before pushing the button ;)

Stef

On Wed, Oct 25, 2017 at 10:10 AM, Guillermo Polito <guillermopolito@gmail.com> wrote:

On Tue, Oct 24, 2017 at 9:49 PM, Esteban Lorenzano <estebanlm@gmail.com> wrote:

> On 24 Oct 2017, at 21:47, Stephane Ducasse <stepharo.self@gmail.com> wrote:
>
> Hi
>
> are the pending PR reevaluated when one PR is integrated?

Unfortunately not on every integration... We should do it that way but there are some problems with Jenkins allocating space in the master machine.

Christophe was telling me he would contact the people from jenkins to see if there is a solution for that.

it was, but Guille disabled it because it was killing the server.
when we jump to tonel we can re-evaluate the problem :)

Esteban

>
> Stef
>

--

Guille Polito Research Engineer Centre de Recherche en Informatique, Signal et Automatique de Lille CRIStAL - UMR 9189 French National Center for Scientific Research - http://www.cnrs.fr Web: http://guillep.github.io Phone: +33 06 52 70 66 13