We're good again :) Begin forwarded message:

From: Emmanuel Jeanvoine <emmanuel.jeanvoine@inria.fr>

Hello,

After a difficult investigation, the IT team has fixed the problem. All the slaves have also been restarted and the CI service is now fully working. If the Jenkins instance of the projects fail to see the slaves, you can restart them using the web portal (http://ci.inria.fr). In case of problem, do not hesitate to contact the support team (ci-support@inria.fr).

Sorry again for the downtime, Emmanuel.