This is today…
> > 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
