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
