Re: [Pharo-dev] Is Jenkins OK?