squiid/rust
1
0
Fork 0
Code Issues Pull requests Projects Activity

Rollup merge of #106715 - BoxyUwU:new_solver_triagebot, r=lcnr

Browse source 
Autolabel and ping wg for changes to new solver

r? ```@lcnr```
This commit is contained in:
nils 2023-01-11 17:30:57 +01:00 committed by GitHub
parent 082ff0f08d d031befe79
commit 80c535f15c
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 6 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
triagebot.toml
View file

@ -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 = """