Opam.Repository.add and thus also Installed_repo.with_repo_enabled will fail if the repo that we are trying to add is already there. This makes one of the execution of the platform fail if one tries to add the cache while it was already been added by the other instance.
We should be careful, as we also do not want to continue as if nothing was done. Indeed, the instance that added the repo might remove it before we have finished.
We should maybe pick a random name for the repository and return it, so that we have our own repository per running instance.
Opam.Repository.add
and thus alsoInstalled_repo.with_repo_enabled
will fail if the repo that we are trying to add is already there. This makes one of the execution of the platform fail if one tries to add the cache while it was already been added by the other instance.We should be careful, as we also do not want to continue as if nothing was done. Indeed, the instance that added the repo might remove it before we have finished. We should maybe pick a random name for the repository and return it, so that we have our own repository per running instance.