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
At the moment, new results files are created with mkdtemp. It's possible (though perhaps unlikely?) that different users working on the same repo could create new results files with the same name. That would be annoying because someone would have to merge, probably by renaming one of the files.
It would be nice if we could be confident that this is impossible or very unlikely to happen.
The text was updated successfully, but these errors were encountered:
At the moment, new results files are created with
mkdtemp
. It's possible (though perhaps unlikely?) that different users working on the same repo could create new results files with the same name. That would be annoying because someone would have to merge, probably by renaming one of the files.It would be nice if we could be confident that this is impossible or very unlikely to happen.
The text was updated successfully, but these errors were encountered: