June 3, 2013
8:59 p.m.
On 03 Jun 2013, at 22:16, Camillo Bruni <camillobruni@gmail.com> wrote:
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.
I am kind of disappointed: I would have expected Camillo to run the emergency build server on his own machine ;-) Just kidding, great work ! Sven