[Pharo-users] Jenkins build trigger