| commit | f336cc777b84c29776e8cc1b148cf1065b9fae2d | [log] [tgz] |
|---|---|---|
| author | Tim (Theemathas) Chirananthavat <theemathas@gmail.com> | Tue Aug 12 08:26:11 2025 +0700 |
| committer | GitHub <noreply@github.com> | Tue Aug 12 08:26:11 2025 +0700 |
| tree | 031f8b5b99cd9e7209a47b835cb90f531ca5354e | |
| parent | 1ebbd87a62ce96a72b22da61b7c2c43893534842 [diff] |
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 index 71f1ed0..6f6e95c 100644 --- a/triagebot.toml +++ b/triagebot.toml
@@ -207,6 +207,7 @@ "regression-from-stable-to-beta", "regression-from-stable-to-nightly", "I-unsound", + "I-miscompile", ] exclude_labels = [ "P-*",