user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Enable merge queue in new bors

Browse source
This commit is contained in:
Jakub Beránek 2026-01-05 17:18:52 +01:00
parent b7bcaa5c71
commit 1925afb7b0
No known key found for this signature in database
GPG key ID: 909CD0D26483516B
1 changed files with 4 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

7
rust-bors.toml
View file

@ -29,8 +29,7 @@ labels_blocking_approval = [
# If CI runs quicker than this duration, consider it to be a failure # If CI runs quicker than this duration, consider it to be a failure
min_ci_time = 600 min_ci_time = 600
# Flip this once new bors is used for actual merges on this repository merge_queue_enabled = true
merge_queue_enabled = false
report_merge_conflicts = true report_merge_conflicts = true
[labels] [labels]
@ -55,7 +54,9 @@ try_failed = [
"-S-waiting-on-review", "-S-waiting-on-review",
"-S-waiting-on-crater" "-S-waiting-on-crater"
] ]
auto_build_succeeded = ["+merged-by-bors"] auto_build_succeeded = [
"+merged-by-bors"
]
auto_build_failed = [ auto_build_failed = [
"+S-waiting-on-review", "+S-waiting-on-review",
"-S-blocked", "-S-blocked",