Tobias Werth
Tobias Werth
cc @bazelbuild/remote-execution
cc @larsrc-google
@nickygerritsen I think this can be closed?
I assumed they would be merged into the still judging (aka unknown result) runs, but perhaps I am mistaken.
I think this is fixed. I imported a problem, exported it, imported the export and exported it again and compared the two exports. The diff looks reasonable to me (there's...
There are still some issues: - [x] output validators are missing - [x] filenames are not properly prefixed with 0s, so order would change Also we decided to add an...
@vmcj suggested to allow also exporting the team submissions in the same structure as we use for importing submissions.
I fully agree - are you willing to contribute this?
I seem to remember that you have a prototype of this, is that correct?
> Assuming this gets approved I'll fixup some commits to keep history clean. Can you do this before merging? That makes it easier to review