> On 23 Dec 2015, at 15:08, Marcus Denker <marcus.den...@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
