excellent then! >> I will check. I'm not sure that without an inria account you can access it. > > Yes, an account for Jenkins is possible. An account on the unix machine not, > but all that is needed is editing scripts and that we do via Git. > > Works fine for Mac VM, for example.