Parameter number schema expansion

Number can be either a number or a string.
stuchalk · Feb 15, 2024 · 54e9366 · 54e9366
1 parent 5ac4fa7
commit 54e9366
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/schema/parameter.json b/schema/parameter.json
@@ -14,7 +14,12 @@
 			"properties": {
 				"@id":    { "type": "string" },
 				"@type":    { "type": "string" },
-				"number":    { "type": "string" },
+				"number":    { 
+					"oneOf": [
+						{ "type": "number" },
+						{ "type": "string" }
+					]
+				},
 				"unit":    { "type": "string" }
 			}
 		}