diff options
| -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-*", |