Chore: Adding build number to plugin schema (#89464)

adding build number
2025-09-28 07:53:58 +08:00 · 2024-06-20 13:51:51 +02:00
parent 44fd13c742
commit 78c8a26906
1 changed files with 4 additions and 0 deletions
--- 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."
            }
          }
        },