15 lines
343 B
JSON
15 lines
343 B
JSON
{
|
|
"type": "object",
|
|
"required" : [
|
|
"status",
|
|
"name"
|
|
],
|
|
"properties": {
|
|
"status": { "type": "string" },
|
|
"name": { "type": "string" },
|
|
"execution_time": { "type": "float" },
|
|
"system_output": { "type": ["string", "null"] },
|
|
"stack_trace": { "type": ["string", "null"] }
|
|
},
|
|
"additionalProperties": false
|
|
}
|