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.
