Allow sharing output, feedback, and diff per run#264
Conversation
| | time | TIME | Absolute time when run completed. | ||
| | contest\_time | RELTIME | Contest relative time when run completed. | ||
| | run\_time | number | Run time in seconds. Should be a non-negative integer multiple of `0.001`. The reason for this is to not have rounding ambiguities while still using the natural unit of seconds. | ||
| | team\_output | array of FILE ? | The output produced by the team's submission for this run. |
There was a problem hiding this comment.
Should we say something about mimetypes of these 3? I'm not sure since we could have teams produce PNGs or something, so maybe we shouldn't say something about mime types...
There was a problem hiding this comment.
This is in fact why I did not add a mime type.
There was a problem hiding this comment.
Somewhat related: should we also say that this array of FILE contains exactly/at most a single file?
| | run\_time | number | Run time in seconds. Should be a non-negative integer multiple of `0.001`. The reason for this is to not have rounding ambiguities while still using the natural unit of seconds. | ||
| | team\_output | array of FILE ? | The output produced by the team's submission for this run. | ||
| | judge\_message | array of FILE ? | The feedback message produced by the output validator for this run. | ||
| | diff | array of FILE ? | A diff between the team's output and the judge's answer for this run. |
There was a problem hiding this comment.
We should clarify if this meant to be a (unified) diff output or just something that in a general sense represents a diff. I guess it's the latter.
| | time | TIME | Absolute time when run completed. | ||
| | contest\_time | RELTIME | Contest relative time when run completed. | ||
| | run\_time | number | Run time in seconds. Should be a non-negative integer multiple of `0.001`. The reason for this is to not have rounding ambiguities while still using the natural unit of seconds. | ||
| | team\_output | array of FILE ? | The output produced by the team's submission for this run. |
There was a problem hiding this comment.
Somewhat related: should we also say that this array of FILE contains exactly/at most a single file?
|
Discussed on our meeting today. Several details left as homework to the drafter, but overall positive:
|
Closes #208
Adds
team_output,judge_message, anddiffto runs`.