add schema for index

mrc-ide · Dec 19, 2024 · ce4f7d7 · ce4f7d7
1 parent fc128c1
commit ce4f7d7
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/schema/Index.schema.json b/schema/Index.schema.json
@@ -0,0 +1,12 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "type": "object",
+  "properties": {
+    "version": {
+      "type": "string",
+      "pattern": "^[0-9]+.[0-9]+.[0-9]+$"
+    }
+  },
+  "additionalProperties": false,
+  "required": ["version"]
+}