[Pharo-dev] CI Infrastructure down Sun evening to Monday evening

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