Rollup merge of #145283 - theemathas:patch-1, r=Noratrieb

Zalathar · web-flow · commit dcc0b6b7b8b9 · 2025-08-12T20:37:58.000+10:00
Make I-miscompile imply I-prioritize

Since I-unsound already implies I-prioritize, it makes sense that I-miscompile should do the same.
diff --git a/triagebot.toml b/triagebot.toml
@@ -207,6 +207,7 @@ trigger_labels = [
     "regression-from-stable-to-beta",
     "regression-from-stable-to-nightly",
     "I-unsound",
+    "I-miscompile",
 ]
 exclude_labels = [
     "P-*",

Original file line number	Diff line number	Diff line change
`@@ -207,6 +207,7 @@ trigger_labels = [`
`207`	`207`	`"regression-from-stable-to-beta",`
`208`	`208`	`"regression-from-stable-to-nightly",`
`209`	`209`	`"I-unsound",`
	`210`	`+ "I-miscompile",`
`210`	`211`	`]`
`211`	`212`	`exclude_labels = [`
`212`	`213`	`"P-*",`