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
I don't know where there UUID in the filename is coming from. I think it might make sense to add a signature in the result json file itself for reliable detection - ie. let the json file carry its own signature as its ID. What do you think?
For pull requests which have the same results (e.g UUID in the filename) as existing results in the database, we should close PRs and issues.
@htejun is UUID in filename a suitable collision detection method?
In this case, rejection really means closing of issue, PR , deletion of files in bucket & branches.
Possibly there could be a nightly CI run which triggers this.
The text was updated successfully, but these errors were encountered: