Skip to content

Commit

Permalink
Unrolled build for rust-lang#117074
Browse files Browse the repository at this point in the history
Rollup merge of rust-lang#117074 - ouz-a:remove_smir, r=compiler-errors

Remove smir from triage and add me to stablemir

As we discussed this in [weekly ](https://rust-lang.zulipchat.com/#narrow/stream/320896-project-stable-mir/topic/.5Bbi-weekly.5D.202023-10-20)meeting we don't really care for changes that happens in `smir`, we only care about changes that happen to `stable_mir` so I removed smir triage ping and added myself to `stable_mir` ping list
  • Loading branch information
rust-timer authored Oct 24, 2023
2 parents 41aa06e + dc1cd4c commit dd07225
Showing 1 changed file with 1 addition and 5 deletions.
6 changes: 1 addition & 5 deletions triagebot.toml
Original file line number Diff line number Diff line change
Expand Up @@ -554,13 +554,9 @@ cc = ["@davidtwco", "@compiler-errors", "@JohnTitor", "@TaKO8Ki"]
message = "`rustc_macros::diagnostics` was changed"
cc = ["@davidtwco", "@compiler-errors", "@JohnTitor", "@TaKO8Ki"]

[mentions."compiler/rustc_smir"]
message = "This PR changes Stable MIR"
cc = ["@oli-obk", "@celinval", "@spastorino", "@ouz-a"]

[mentions."compiler/stable_mir"]
message = "This PR changes Stable MIR"
cc = ["@oli-obk", "@celinval", "@spastorino"]
cc = ["@oli-obk", "@celinval", "@spastorino", "@ouz-a"]

[mentions."compiler/rustc_target/src/spec"]
message = """
Expand Down

0 comments on commit dd07225

Please sign in to comment.