Dec. 23, 2015
2:26 p.m.
On Dec 23, 2015, at 11:21, Marcus Denker <marcus.denker@inria.fr> wrote:
On 23 Dec 2015, at 15:08, Marcus Denker <marcus.denker@inria.fr> wrote:
Hi,
the CI server looks like it is in a bad state.
The problem is that with holidays, I am not sure how much we can doâ¦
I will try to stop all jobs and restart the slaves (but I should have holidays, tooâ¦)
three more slaves are online and building⦠so it shout be working better again.
Excellent, thanks! But what are these holidays you speak of? :-P ---> Save our in-boxes! http://emailcharter.org <--- Johan Fabry - http://pleiad.cl/~jfabry PLEIAD and RyCh labs - Computer Science Department (DCC) - University of Chile