changedOutput schema / (root)
Previous value: -nullNew value: +{
+ "$schema": "https://json-schema.org/draft/2020-12/schema",
+ "additionalProperties": false,
+ "properties": {
+ "attempted": {
+ "type": "number"
+ },
+ "displayName": {
+ "type": "string"
+ },
+ "model": {
+ "type": "string"
+ },
+ "puzzles": {
+ "items": {
+ "additionalProperties": {},
+ "properties": {
+ "id": {
+ "type": "string"
+ },
+ "index": {
+ "type": "number"
+ },
+ "size": {
+ "type": "string"
+ },
+ "state": {
+ "enum": [
+ "solved",
+ "wrong",
+ "cut-off",
+ "not-run"
+ ],
+ "type": "string"
+ }
+ },
+ "required": [
+ "id",
+ "index",
+ "size",
+ "state"
+ ],
+ "type": "object"
+ },
+ "type": "array"
+ },
+ "solved": {
+ "type": "number"
+ }
+ },
+ "required": [
+ "model",
+ "displayName",
+ "solved",
+ "attempted",
+ "puzzles"
+ ],
+ "type": "object"
+}