June 3, 2013
8:16 p.m.
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.