July 17, 2017
8:17 a.m.
Hi, The ci.inria.fr <http://ci.inria.fr/> infrastructure will be down tomorrow:
Tomorrow the OS of the servers hosting the Jenkins services will be upgraded. This will result in service downtime during the whole day; we are sorry for the convenience.
The maintenance is planned tomorrow, Tuesday 18.
Everything should come back to normal at the end of the day.