Rollup merge of #73181 - LeSeulArtichaut:patch-1, r=spastorino

Automatically prioritize unsoundness issues r? @spastorino cc @Mark-Simulacrum @rust-lang/wg-prioritization
rust-lang · Jun 11, 2020 · 6cc757e · 6cc757e
2 parents 2ac1598 + c9f2cbf
commit 6cc757e
Showing 1 changed file with 7 additions and 1 deletion.
diff --git 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