Re: [Pharo-users] [Pharo-dev] Seaside Continuous Integration on ci.inria.fr