You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.
The text was updated successfully, but these errors were encountered:
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.
The text was updated successfully, but these errors were encountered: