Dec. 23, 2015
2:21 p.m.
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. Marcus