2019-10-21 14:50:16 +02:00
|
|
|
{
|
2022-07-27 13:01:15 +02:00
|
|
|
"$schema": "http://json-schema.org/draft/2020-12/schema",
|
|
|
|
"$id": "https://raw.githubusercontent.com/ClusterCockpit/cc-specifications/master/datastructures/job-metric-statistics.schema.json",
|
2019-10-21 14:50:16 +02:00
|
|
|
"title": "Job statistics",
|
|
|
|
"description": "Format specification for job metric statistics",
|
|
|
|
"type": "object",
|
|
|
|
"properties": {
|
|
|
|
"unit": {
|
|
|
|
"description": "Metric unit",
|
2022-07-27 13:01:15 +02:00
|
|
|
"$ref": "https://raw.githubusercontent.com/ClusterCockpit/cc-specifications/master/datastructures/unit.schema.json"
|
2019-10-21 14:50:16 +02:00
|
|
|
},
|
|
|
|
"avg": {
|
|
|
|
"description": "Job metric average",
|
|
|
|
"type": "number",
|
|
|
|
"minimum": 0
|
|
|
|
},
|
|
|
|
"min": {
|
|
|
|
"description": "Job metric minimum",
|
|
|
|
"type": "number",
|
|
|
|
"minimum": 0
|
|
|
|
},
|
|
|
|
"max": {
|
|
|
|
"description": "Job metric maximum",
|
|
|
|
"type": "number",
|
|
|
|
"minimum": 0
|
|
|
|
}
|
|
|
|
},
|
|
|
|
"required": [
|
|
|
|
"unit",
|
|
|
|
"avg",
|
|
|
|
"min",
|
|
|
|
"max"
|
|
|
|
]
|
|
|
|
}
|