chore: update schema

Luca Bianconi · Luca Bianconi · commit 15a26dd43078 · 2023-02-16T15:23:29.000+01:00
diff --git a/configuration/configuration.schema.json b/configuration/configuration.schema.json
@@ -10,7 +10,8 @@
           "description": "the URLs to any additional Boards Manager package index files needed for your boards platforms.",
           "type": "array",
           "items": {
-            "type": "string"
+            "type": "string",
+            "format": "uri"
           }
         }
       },

Original file line number	Diff line number	Diff line change
`@@ -10,7 +10,8 @@`
`10`	`10`	`"description": "the URLs to any additional Boards Manager package index files needed for your boards platforms.",`
`11`	`11`	`"type": "array",`
`12`	`12`	`"items": {`
`13`		`- "type": "string"`
	`13`	`+ "type": "string",`
	`14`	`+ "format": "uri"`
`14`	`15`	`}`
`15`	`16`	`}`
`16`	`17`	`},`