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.