On Tue, Oct 24, 2017 at 9:49 PM, Esteban Lorenzano <esteba...@gmail.com> wrote:
> > > > On 24 Oct 2017, at 21:47, Stephane Ducasse <stepharo.s...@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 <http://www.cnrs.fr>* *Web:* *http://guillep.github.io* <http://guillep.github.io> *Phone: *+33 06 52 70 66 13
