chore: sync Mergify JSON Schema files

Mergifyio · Oct 16, 2024 · 87f0fd5 · 87f0fd5
1 parent 33b551b
commit 87f0fd5
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 5 deletions.
diff --git a/public/api-schemas.json b/public/api-schemas.json
@@ -1449,9 +1449,8 @@
               "anyOf": [
                 {
                   "type": "integer",
-                  "minimum": 0,
-                  "ge": 1,
-                  "lt": 2147483647
+                  "minimum": 1,
+                  "exclusiveMaximum": 2147483647
                 },
                 {
                   "type": "null"

diff --git a/public/mergify-configuration-schema.json b/public/mergify-configuration-schema.json
@@ -2437,8 +2437,9 @@
           "type": "integer"
         },
         "batch_max_wait_time": {
-          "default": "30 s",
+          "default": "30 seconds",
           "description": "The maximum amount of time to wait before creating a batch when the batch is not full.",
+          "format": "duration",
           "title": "Batch Max Wait Time",
           "type": "string"
         },
@@ -2451,6 +2452,7 @@
         "checks_timeout": {
           "anyOf": [
             {
+              "format": "duration",
               "type": "string"
             },
             {
@@ -2698,8 +2700,9 @@
           "type": "integer"
         },
         "batch_max_wait_time": {
-          "default": "30 s",
+          "default": "30 seconds",
           "description": "The maximum amount of time to wait before creating a batch when the batch is not full.",
+          "format": "duration",
           "title": "Batch Max Wait Time",
           "type": "string"
         },
@@ -2712,6 +2715,7 @@
         "checks_timeout": {
           "anyOf": [
             {
+              "format": "duration",
               "type": "string"
             },
             {