diff options
author | Nadrieril <Nadrieril@users.noreply.github.com> | 2023-04-30 22:43:46 +0200 |
---|---|---|
committer | Nadrieril <nadrieril+git@gmail.com> | 2023-04-30 22:54:50 +0200 |
commit | f93f6c5cc5dcfe479f627afad9609a785edef860 (patch) | |
tree | 35a7804825eaabf4693ae4c2e57983d9fcd0684c /triagebot.toml | |
parent | f2eb9f85b9b52e6538c3c7fc160725963272d471 (diff) | |
download | rust-f93f6c5cc5dcfe479f627afad9609a785edef860.tar.gz |
Ping Nadrieril when changing exhaustiveness checking
Diffstat (limited to 'triagebot.toml')
-rw-r--r-- | triagebot.toml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/triagebot.toml b/triagebot.toml index 917acce901b..89867b63d64 100644 --- a/triagebot.toml +++ b/triagebot.toml @@ -367,6 +367,10 @@ cc = ["@lcnr", "@compiler-errors"] message = "Some changes occurred in diagnostic error codes" cc = ["@GuillaumeGomez"] +[mentions."compiler/rustc_mir_build/src/thir/pattern"] +message = "Some changes might have occurred in exhaustiveness checking" +cc = ["@Nadrieril"] + [mentions."library"] message = """ Hey! It looks like you've submitted a new PR for the library teams! |