From c5de7c54ee47f46a0cc3ceea17dcd8bf1bb753b1 Mon Sep 17 00:00:00 2001
From: actions-user <actions@github.com>
Date: Tue, 31 Oct 2023 18:12:45 +0000
Subject: [PATCH] chore: docs auto-update
---
www/docs/static/schema.json | 15 ++++++++++++++-
1 file changed, 14 insertions(+), 1 deletion(-)
diff --git a/www/docs/static/schema.json b/www/docs/static/schema.json
index a6e8460f6..21b659744 100644
--- a/www/docs/static/schema.json
+++ b/www/docs/static/schema.json
@@ -697,6 +697,9 @@
},
"file_info": {
"$ref": "#/$defs/ContentFileInfo"
+ },
+ "expand": {
+ "type": "boolean"
}
},
"additionalProperties": false,
@@ -2117,6 +2120,13 @@
},
"Project": {
"properties": {
+ "version": {
+ "type": "integer",
+ "enum": [
+ 1
+ ],
+ "default": 1
+ },
"project_name": {
"type": "string"
},
@@ -2338,7 +2348,10 @@
}
},
"additionalProperties": false,
- "type": "object"
+ "type": "object",
+ "required": [
+ "version"
+ ]
},
"ProjectMetadata": {
"properties": {