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 <http://www.cnrs.fr>*
*Web:* *http://guillep.github.io* <http://guillep.github.io>
*Phone: *+33 06 52 70 66 13 <+33%206%2052%2070%2066%2013>