diff options
| author | Dylan DPC <dylan.dpc@gmail.com> | 2020-06-11 13:16:06 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-06-11 13:16:06 +0200 |
| commit | 6cc757e698ec7994411ef327f463726b070a3410 (patch) | |
| tree | 8ce67d7eff884ff59f07bc6dab54174aa837747d | |
| parent | 2ac1598d83d03f80345bf17e0df84508e39025f8 (diff) | |
| parent | c9f2cbf215870049fe9ffe312f7cc2bd78ce1744 (diff) | |
| download | rust-6cc757e698ec7994411ef327f463726b070a3410.tar.gz rust-6cc757e698ec7994411ef327f463726b070a3410.zip | |
Rollup merge of #73181 - LeSeulArtichaut:patch-1, r=spastorino
Automatically prioritize unsoundness issues r? @spastorino cc @Mark-Simulacrum @rust-lang/wg-prioritization
| -rw-r--r-- | triagebot.toml | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/triagebot.toml b/triagebot.toml index 0895bafb4d1..833d390f1a2 100644 --- a/triagebot.toml +++ b/triagebot.toml @@ -58,10 +58,16 @@ label = "O-ARM" [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 |