Automatically prioritize unsoundness issues

This commit is contained in:
LeSeulArtichaut 2020-06-09 22:58:32 +02:00 committed by GitHub
parent feb3536eba
commit c9f2cbf215
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 7 additions and 1 deletions

View File

@ -38,10 +38,16 @@ label = "ICEBreaker-Cleanup-Crew"
[prioritize]
label = "I-prioritize"
prioritize_on = ["regression-from-stable-to-stable", "regression-from-stable-to-beta", "regression-from-stable-to-nightly"]
prioritize_on = [
"regression-from-stable-to-stable",
"regression-from-stable-to-beta",
"regression-from-stable-to-nightly",
"I-unsound 💥",
]
exclude_labels = [
"P-*",
"T-infra",
"T-release",
"requires-nightly",
]
zulip_stream = 227806