chore: sync Mergify JSON Schema files

Mergifyio · Oct 2, 2024 · 0556161 · 0556161
1 parent 5ba2377
commit 0556161
Showing 1 changed file with 7 additions and 2 deletions.
diff --git a/public/api-schemas.json b/public/api-schemas.json
@@ -1449,8 +1449,9 @@
               "anyOf": [
                 {
                   "type": "integer",
-                  "minimum": 1,
-                  "exclusiveMaximum": 2147483647
+                  "minimum": 0,
+                  "ge": 1,
+                  "lt": 2147483647
                 },
                 {
                   "type": "null"
@@ -4292,6 +4293,7 @@
           },
           "pull_request_number": {
             "type": "integer",
+            "minimum": 0.0,
             "title": "Pull Request Number",
             "description": "The number of the pull request used by the speculative check"
           },
@@ -9736,6 +9738,7 @@
         "properties": {
           "number": {
             "type": "integer",
+            "minimum": 0.0,
             "title": "Number",
             "description": "The number of the pull request"
           },
@@ -9810,6 +9813,7 @@
         "properties": {
           "number": {
             "type": "integer",
+            "minimum": 0.0,
             "title": "Number",
             "description": "The number of the pull request"
           },
@@ -9908,6 +9912,7 @@
           },
           "number": {
             "type": "integer",
+            "minimum": 0.0,
             "title": "Number",
             "description": "The number of the pull request used by the speculative check"
           },