diff options
| author | Jacob Pratt <jacob@jhpratt.dev> | 2025-08-01 00:38:22 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-08-01 00:38:22 -0400 |
| commit | a69ecb4823403eaac71f2c1f5b58642ca3f7bad8 (patch) | |
| tree | 8d0f54267b21865a13b2bb683f6883b99ea8a7a6 | |
| parent | e11bcb6fe17cea6a4bda816b0f991010670b0487 (diff) | |
| parent | 1f787383d4463f18a8ec6da89ca962246b92f226 (diff) | |
| download | rust-a69ecb4823403eaac71f2c1f5b58642ca3f7bad8.tar.gz rust-a69ecb4823403eaac71f2c1f5b58642ca3f7bad8.zip | |
Rollup merge of #144757 - Muscraft:triagebot-emitter-pings, r=lqd
Ping Muscraft when emitter change While I am working towards `annotate-snippets` being the default emitter for `rustc`, it would be helpful if I were pinged when the default emitter is modified so that I can more easily maintain parity in output between `rustc` and `annotate-snippets`.
| -rw-r--r-- | triagebot.toml | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/triagebot.toml b/triagebot.toml index 168815465b6..b0b0f8d8752 100644 --- a/triagebot.toml +++ b/triagebot.toml @@ -1064,6 +1064,14 @@ cc = ["@oli-obk", "@RalfJung", "@JakobDegen", "@davidtwco", "@vakaras"] message = "`rustc_error_messages` was changed" cc = ["@davidtwco", "@compiler-errors", "@TaKO8Ki"] +[mentions."compiler/rustc_errors/src/annotate_snippet_emitter_writer.rs"] +message = "`rustc_errors::annotate_snippet_emitter_writer` was changed" +cc = ["@Muscraft"] + +[mentions."compiler/rustc_errors/src/emitter.rs"] +message = "`rustc_errors::emitter` was changed" +cc = ["@Muscraft"] + [mentions."compiler/rustc_errors/src/translation.rs"] message = "`rustc_errors::translation` was changed" cc = ["@davidtwco", "@compiler-errors", "@TaKO8Ki"] |