Fix JSON name of process timeout

This commit is contained in:
Ingo Oppermann
2023-03-21 14:54:33 +01:00
parent b63b23527b
commit c92f2fd1df
4 changed files with 12 additions and 12 deletions

View File

@@ -3371,6 +3371,10 @@ const docTemplate = `{
"reference": {
"type": "string"
},
"runtime_duration_seconds": {
"type": "integer",
"format": "uint64"
},
"scheduler": {
"type": "string"
},
@@ -3378,10 +3382,6 @@ const docTemplate = `{
"type": "integer",
"format": "uint64"
},
"timeout_seconds": {
"type": "integer",
"format": "uint64"
},
"type": {
"type": "string",
"enum": [