From 78c8a26906957f915e8b0df7018c7aeccf455c5d Mon Sep 17 00:00:00 2001 From: Timur Olzhabayev Date: Thu, 20 Jun 2024 13:51:51 +0200 Subject: [PATCH] Chore: Adding build number to plugin schema (#89464) adding build number --- docs/sources/developers/plugins/plugin.schema.json | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/docs/sources/developers/plugins/plugin.schema.json b/docs/sources/developers/plugins/plugin.schema.json index 3dfd8a17358..647a3fe485d 100644 --- a/docs/sources/developers/plugins/plugin.schema.json +++ b/docs/sources/developers/plugins/plugin.schema.json @@ -72,6 +72,10 @@ "pr": { "type": "number", "description": "GitHub pull request the plugin was built from" + }, + "build": { + "type": "number", + "description": "Build job number used to build this plugin." } } },