> >> In any case, I am in favor to go ahead and change. >> Moreover, I am not sure it is a big deal here, since it will not impact >> application code. > > The problems are: > > - people have to use the VM from > https://ci.lille.inria.fr/pharo/view/Cog/ > So older Vms (with more or different plugins, for example) are not possible. > > - there is no way to double check if a bug is specific to the Jenkins build
indeed this is the key question. Now it would be good to brand the vm first.
