From 1c2b290c20b88645d124a55ff7efcdbe669ac34c Mon Sep 17 00:00:00 2001 From: Valentin Maerten Date: Sat, 3 May 2025 16:51:17 +0200 Subject: [PATCH 1/4] feat: add experiments to taskrc.yml schema --- website/static/schema-taskrc.json | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/website/static/schema-taskrc.json b/website/static/schema-taskrc.json index 4ed35be313..b36b1907af 100644 --- a/website/static/schema-taskrc.json +++ b/website/static/schema-taskrc.json @@ -6,6 +6,18 @@ "properties": { "experiments": { "type": "object", + "ENV_PRECEDENCE": { + "type": "number", + "enum": [0, 1] + }, + "REMOTE_TASKFILES": { + "type": "number", + "enum": [0, 1] + }, + "GENTLE_FORCE": { + "type": "number", + "enum": [0, 1] + }, "additionalProperties": { "type": "integer" } From 18ad8de9b88e7adfa04e9051831ac759e6c6f869 Mon Sep 17 00:00:00 2001 From: Valentin Maerten Date: Sat, 3 May 2025 17:21:07 +0200 Subject: [PATCH 2/4] add it to next schema --- website/static/next-schema-taskrc.json | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/website/static/next-schema-taskrc.json b/website/static/next-schema-taskrc.json index 4ed35be313..b36b1907af 100644 --- a/website/static/next-schema-taskrc.json +++ b/website/static/next-schema-taskrc.json @@ -6,6 +6,18 @@ "properties": { "experiments": { "type": "object", + "ENV_PRECEDENCE": { + "type": "number", + "enum": [0, 1] + }, + "REMOTE_TASKFILES": { + "type": "number", + "enum": [0, 1] + }, + "GENTLE_FORCE": { + "type": "number", + "enum": [0, 1] + }, "additionalProperties": { "type": "integer" } From d8221c95b8bd1663c23c9bd2c667d60e106909bb Mon Sep 17 00:00:00 2001 From: Valentin Maerten Date: Sat, 3 May 2025 17:21:48 +0200 Subject: [PATCH 3/4] remove additionalProperties --- website/static/next-schema-taskrc.json | 3 --- website/static/schema-taskrc.json | 3 --- 2 files changed, 6 deletions(-) diff --git a/website/static/next-schema-taskrc.json b/website/static/next-schema-taskrc.json index b36b1907af..6ff86212c9 100644 --- a/website/static/next-schema-taskrc.json +++ b/website/static/next-schema-taskrc.json @@ -17,9 +17,6 @@ "GENTLE_FORCE": { "type": "number", "enum": [0, 1] - }, - "additionalProperties": { - "type": "integer" } } }, diff --git a/website/static/schema-taskrc.json b/website/static/schema-taskrc.json index b36b1907af..6ff86212c9 100644 --- a/website/static/schema-taskrc.json +++ b/website/static/schema-taskrc.json @@ -17,9 +17,6 @@ "GENTLE_FORCE": { "type": "number", "enum": [0, 1] - }, - "additionalProperties": { - "type": "integer" } } }, From cb99776be2283abc79a040c7cabe4a7da611ae9b Mon Sep 17 00:00:00 2001 From: Valentin Maerten Date: Sat, 3 May 2025 18:40:53 +0200 Subject: [PATCH 4/4] fix schema --- website/static/next-schema-taskrc.json | 24 +++++++++++++----------- website/static/schema-taskrc.json | 24 +++++++++++++----------- 2 files changed, 26 insertions(+), 22 deletions(-) diff --git a/website/static/next-schema-taskrc.json b/website/static/next-schema-taskrc.json index 6ff86212c9..1b5b1fc231 100644 --- a/website/static/next-schema-taskrc.json +++ b/website/static/next-schema-taskrc.json @@ -6,17 +6,19 @@ "properties": { "experiments": { "type": "object", - "ENV_PRECEDENCE": { - "type": "number", - "enum": [0, 1] - }, - "REMOTE_TASKFILES": { - "type": "number", - "enum": [0, 1] - }, - "GENTLE_FORCE": { - "type": "number", - "enum": [0, 1] + "properties": { + "ENV_PRECEDENCE": { + "type": "number", + "enum": [0, 1] + }, + "REMOTE_TASKFILES": { + "type": "number", + "enum": [0, 1] + }, + "GENTLE_FORCE": { + "type": "number", + "enum": [0, 1] + } } } }, diff --git a/website/static/schema-taskrc.json b/website/static/schema-taskrc.json index 6ff86212c9..1b5b1fc231 100644 --- a/website/static/schema-taskrc.json +++ b/website/static/schema-taskrc.json @@ -6,17 +6,19 @@ "properties": { "experiments": { "type": "object", - "ENV_PRECEDENCE": { - "type": "number", - "enum": [0, 1] - }, - "REMOTE_TASKFILES": { - "type": "number", - "enum": [0, 1] - }, - "GENTLE_FORCE": { - "type": "number", - "enum": [0, 1] + "properties": { + "ENV_PRECEDENCE": { + "type": "number", + "enum": [0, 1] + }, + "REMOTE_TASKFILES": { + "type": "number", + "enum": [0, 1] + }, + "GENTLE_FORCE": { + "type": "number", + "enum": [0, 1] + } } } },