This PR makes sandbox repos as short-lived as possible (there is no need to keep them as soon as the compiler has been installed) and give them unique name depending on the path (adding a repo to opam, with an already existing name but a different path, makes it fail).
Thanks for the review!
I agree, we don't have time for the "leftover repository" issue. But, I added the requested comments. (I canceled the CI run since the last commit do not modify the code.)
This PR makes sandbox repos as short-lived as possible (there is no need to keep them as soon as the compiler has been installed) and give them unique name depending on the path (adding a repo to opam, with an already existing name but a different path, makes it fail).
Should hopefully make #149 never happen again.