Re: [Pharo-dev] inria jenkins got much faster