[Pharo-dev] Is Jenkins OK?