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.


Reply via email to