diff options
Diffstat (limited to 'config/metrics/schema.json')
| -rw-r--r-- | config/metrics/schema.json | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/config/metrics/schema.json b/config/metrics/schema.json index d71eddab469..cc1eafcf0ba 100644 --- a/config/metrics/schema.json +++ b/config/metrics/schema.json @@ -22,17 +22,19 @@ }, "value_type": { "type": "string", - "enum": ["integer", "string", "number", "boolean"] + "enum": ["string", "number", "boolean", "object"] }, "status": { "type": ["string"], - "enum": ["data_available", "planned", "in_progress", "implemented"] + "enum": ["data_available", "planned", "in_progress", "implemented", "not_used", "deprecated"] }, "milestone": { - "type": ["number", "null"] + "type": ["string", "null"], + "pattern": "^[0-9]+\\.[0-9]+$" }, "milestone_removed": { - "type": ["number", "null"] + "type": ["string", "null"], + "pattern": "^[0-9]+\\.[0-9]+$" }, "introduced_by_url": { "type": ["string", "null"] |