Re: [Pharo-dev] CI configuration change