ci(mergify): increase batch sizes (#4947)
* Increase Mergify batch sizes * Use the maximum mergify batch size, except for critical priority PRs
This commit is contained in:
parent
357dfee514
commit
4282af4690
|
@ -5,7 +5,7 @@ queue_rules:
|
|||
allow_inplace_checks: True
|
||||
allow_checks_interruption: False
|
||||
speculative_checks: 1
|
||||
batch_size: 5
|
||||
batch_size: 8
|
||||
# Wait a short time to embark hotfixes together in a merge train
|
||||
batch_max_wait_time: "2 minutes"
|
||||
conditions:
|
||||
|
@ -18,9 +18,9 @@ queue_rules:
|
|||
allow_inplace_checks: True
|
||||
allow_checks_interruption: True
|
||||
speculative_checks: 1
|
||||
batch_size: 5
|
||||
batch_size: 20
|
||||
# Wait for a few minutes to embark high priority tickets together in a merge train
|
||||
batch_max_wait_time: "5 minutes"
|
||||
batch_max_wait_time: "10 minutes"
|
||||
conditions:
|
||||
- base=main
|
||||
|
||||
|
@ -28,9 +28,9 @@ queue_rules:
|
|||
allow_inplace_checks: True
|
||||
allow_checks_interruption: True
|
||||
speculative_checks: 1
|
||||
batch_size: 5
|
||||
batch_size: 20
|
||||
# Wait a bit longer to embark low priority tickets together in a merge train
|
||||
batch_max_wait_time: "10 minutes"
|
||||
batch_max_wait_time: "20 minutes"
|
||||
conditions:
|
||||
- base=main
|
||||
|
||||
|
@ -85,4 +85,4 @@ pull_request_rules:
|
|||
actions:
|
||||
queue:
|
||||
name: low
|
||||
method: squash
|
||||
method: squash
|
||||
|
|
Loading…
Reference in New Issue