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

Fix new bors config

Browse source
This commit is contained in:
Jakub Beránek 2025-12-29 09:56:12 +01:00
parent 123588a5bf
commit 19c8ea4629
No known key found for this signature in database
GPG key ID: 909CD0D26483516B
1 changed files with 4 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

8
rust-bors.toml
View file

@ -29,6 +29,10 @@ labels_blocking_approval = [
# If CI runs quicker than this duration, consider it to be a failure
min_ci_time = 600
# Flip this once new bors is used for actual merges on this repository
merge_queue_enabled = false
report_merge_conflicts = true
[labels]
approved = [
"+S-waiting-on-bors",
@ -60,7 +64,3 @@ auto_build_failed = [
"-S-waiting-on-crater",
"-S-waiting-on-team"
]
# Flip this two once new bors is used for actual merges on this repository
merge_queue_enabled = false
report_merge_conflicts = true