Due to large scale maintenance of the Inria server infrastructure on monday 11/11 (which is a holiday here), we will shut down the slaves of the CI setup Sunday evening. Everything then should be online again the Monday evening. Marcus