Re: [Pharo-dev] How To for CI and Jenkins