diff options
| author | Stuart Cook <Zalathar@users.noreply.github.com> | 2025-08-12 20:37:58 +1000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-08-12 20:37:58 +1000 |
| commit | dcc0b6b7b8b975d91ee2799d84f95772035c16a4 (patch) | |
| tree | 9476c0dfe22df26d9f6d0f0c8e794de70aafd07c | |
| parent | 2102eebd56537c6adb4d4e12cfaf7d19c4979b84 (diff) | |
| parent | f336cc777b84c29776e8cc1b148cf1065b9fae2d (diff) | |
| download | rust-dcc0b6b7b8b975d91ee2799d84f95772035c16a4.tar.gz rust-dcc0b6b7b8b975d91ee2799d84f95772035c16a4.zip | |
Rollup merge of #145283 - theemathas:patch-1, r=Noratrieb
Make I-miscompile imply I-prioritize Since I-unsound already implies I-prioritize, it makes sense that I-miscompile should do the same.
| -rw-r--r-- | triagebot.toml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/triagebot.toml b/triagebot.toml index 71f1ed0fda3..6f6e95c5b50 100644 --- 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-*", |