mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Mention Zalathar for coverage changes

Browse Source
This commit is contained in:
Zalathar 2024-03-17 13:46:54 +11:00
parent ecdea9e943
commit 36f8d67c92
1 changed files with 24 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

24
triagebot.toml
View File

@ -726,6 +726,30 @@ cc = ["@rust-lang/project-exploit-mitigations", "@rcvalle"]
[mentions."tests/ui/check-cfg"] [mentions."tests/ui/check-cfg"]
cc = ["@Urgau"] cc = ["@Urgau"]
[mentions."compiler/rustc_middle/src/mir/coverage.rs"]
message = "Some changes occurred in coverage instrumentation."
cc = ["@Zalathar"]
[mentions."compiler/rustc_mir_build/src/build/coverageinfo.rs"]
message = "Some changes occurred in coverage instrumentation."
cc = ["@Zalathar"]
[mentions."compiler/rustc_mir_transform/src/coverage"]
message = "Some changes occurred in coverage instrumentation."
cc = ["@Zalathar"]
[mentions."compiler/rustc_codegen_llvm/src/coverageinfo"]
message = "Some changes occurred in coverage instrumentation."
cc = ["@Zalathar"]
[mentions."compiler/rustc_codegen_ssa/src/mir/coverageinfo.rs"]
message = "Some changes occurred in coverage instrumentation."
cc = ["@Zalathar"]
[mentions."tests/coverage"]
message = "Some changes occurred in coverage tests."
cc = ["@Zalathar"]
[assign] [assign]
warn_non_default_branch = true warn_non_default_branch = true
contributing_url = "https://rustc-dev-guide.rust-lang.org/getting-started.html" contributing_url = "https://rustc-dev-guide.rust-lang.org/getting-started.html"