From 50f090002ad782620ff00842b9f163c6bbc00d7d Mon Sep 17 00:00:00 2001 From: Boxy Date: Tue, 6 Dec 2022 16:33:19 +0000 Subject: [PATCH] add cg ping files things --- triagebot.toml | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/triagebot.toml b/triagebot.toml index bc0b88b2bab..54523b029df 100644 --- a/triagebot.toml +++ b/triagebot.toml @@ -332,7 +332,15 @@ cc = ["@rust-lang/wg-mir-opt"] [mentions."compiler/rustc_trait_selection/src/traits/const_evaluatable.rs"] message = "Some changes occurred in const_evaluatable.rs" -cc = ["@lcnr"] +cc = ["@BoxyUwU"] + +[mentions."compiler/rustc_middle/src/ty/abstract_const.rs"] +message = "Some changes occured in `abstract_const.rs`" +cc = ["@BoxyUwU"] + +[mentions."compiler/rustc_ty_utils/src/consts.rs"] +message = "Some changes occured in `rustc_ty_utils::consts.rs`" +cc = ["@BoxyUwU"] [mentions."compiler/rustc_trait_selection/src/traits/engine.rs"] message = """