But don't complain for the coming weeks about things not working ;) Norbert
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 <mailto:guillermopolito@gmail.com>> wrote:
On Tue, Oct 24, 2017 at 9:49 PM, Esteban Lorenzano <estebanlm@gmail.com <mailto:estebanlm@gmail.com>> wrote:
On 24 Oct 2017, at 21:47, Stephane Ducasse <stepharo.self@gmail.com <mailto: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 <tel:+33%206%2052%2070%2066%2013>