[Pharo-users] How are you doing your jenkins build scripts?