Re: [Pharo-dev] Which tests should be run in CI?