Re: [Pharo-dev] CI vs. local differences