diff options
| author | nils <48135649+Nilstrieb@users.noreply.github.com> | 2023-01-11 17:30:57 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-01-11 17:30:57 +0100 |
| commit | 80c535f15ce5f54d53f172e8079ec4463b4b98f4 (patch) | |
| tree | a1a08a52535f3d76a0da621a0d9527ee03c38df5 /triagebot.toml | |
| parent | 082ff0f08d849854b070f288d576cbf7815ccacf (diff) | |
| parent | d031befe7928fd218c959568c12b25c4b6e04efa (diff) | |
| download | rust-80c535f15ce5f54d53f172e8079ec4463b4b98f4.tar.gz | |
Rollup merge of #106715 - BoxyUwU:new_solver_triagebot, r=lcnr
Autolabel and ping wg for changes to new solver
r? ```@lcnr```
Diffstat (limited to 'triagebot.toml')
| -rw-r--r-- | triagebot.toml | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/triagebot.toml b/triagebot.toml index a3eec63e368..1f1b1f1110d 100644 --- a/triagebot.toml +++ b/triagebot.toml @@ -249,6 +249,11 @@ trigger_files = [ [autolabel."S-waiting-on-review"] new_pr = true +[autolabel."WG-trait-system-refactor"] +trigger_files = [ + "compiler/rustc_trait_selection/solve" +] + [notify-zulip."I-prioritize"] zulip_stream = 245100 # #t-compiler/wg-prioritization/alerts topic = "#{number} {title}" @@ -344,7 +349,7 @@ cc = ["@BoxyUwU"] [mentions."compiler/rustc_trait_selection/src/solve/"] message = "Some changes occurred to the core trait solver" -cc = ["@lcnr", "@compiler-errors"] +cc = ["@rust-lang/initiative-trait-system-refactor"] [mentions."compiler/rustc_trait_selection/src/traits/engine.rs"] message = """ |