Scheduled shutdown of jenkins servers:

D�but du message r�exp�di� :

De : Emmanuel Jeanvoine <emmanuel.jeanvoine@inria.fr>
Date : 9 avril 2015 17:10:23 HAEC
� : ci-announces@inria.fr
Objet : [ci-announces] Memory upgrade on Jenkins servers
R�pondre � : Emmanuel Jeanvoine <emmanuel.jeanvoine@inria.fr>

Dear users,

In order to prevent issues related to memory saturation on Jenkins servers,
an upgrade will be performed on next Monday (April 13th, 2015) between
09:45 and 11:15. Meanwhile, the Jenkins instances will be stopped. In order
to prevent any issue, you should stop your Jenkins instances before the
maintenance.

Thank you for your understanding,
Emmanuel

--
Emmanuel Jeanvoine
Inria Research Engineer
+33 3 54 95 86 21
http://www.loria.fr/~ejeanvoi/