[Pharo-dev] [Pharo CI] Jenkins down 10/11 Feb

Hi, There will a big update of the Inria CI infrastructure. On 10 Feb the system will go offline 5PM Paris time, it will be online the 12th hopefully latest. Why? For now the system just supports Win and Linux. This update will add the base for MacOS vitual servers. (If you wonder how it works now: we have a non-virtual Mac in our office that runs all mac builds…) Marcus