I added an emergency EC2 instance to our jenkins (and connected the mac slave 
via the EC2 instance)
that way we have an short term emergency solution up and running.

I will switch back everything once the network problem at ci.inria.fr are fixed.

Reply via email to