But don't complain for the coming weeks about things not working ;) Norbert
> Am 25.10.2017 um 12:16 schrieb Stephane Ducasse <[email protected]>: > > 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 <[email protected] > <mailto:[email protected]>> wrote: > > > On Tue, Oct 24, 2017 at 9:49 PM, Esteban Lorenzano <[email protected] > <mailto:[email protected]>> wrote: > > > > On 24 Oct 2017, at 21:47, Stephane Ducasse <[email protected] > > <mailto:[email protected]>> 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 <tel:+33%206%2052%2070%2066%2013>
