diff options
| author | Matthias Krüger <476013+matthiaskrgr@users.noreply.github.com> | 2025-07-10 15:19:36 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-07-10 15:19:36 +0200 |
| commit | bd2a3517881de6026cac53262e14275758e70b7b (patch) | |
| tree | d750951d6c3044d202ada72e87b9c35cb0dc74f1 | |
| parent | 840207fd62db5fdf117f160845a5b0f315060d5c (diff) | |
| parent | 7e2527d3ab306f30d17d381257683bb0418f8b9e (diff) | |
| download | rust-bd2a3517881de6026cac53262e14275758e70b7b.tar.gz rust-bd2a3517881de6026cac53262e14275758e70b7b.zip | |
Rollup merge of #143706 - lolbinarycat:triagebot-extra-checks-ping, r=Kobzol
triagebot.toml: ping lolbinarycat if tidy extra checks were modified I rewrote a large chunk of this module, and plan to do further changes to it (namely moving rustdoc_js checks into it), so it would be nice to keep up with and provide feedback on any changes to it, at least for the immediate future. r? `@Kobzol`
| -rw-r--r-- | triagebot.toml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/triagebot.toml b/triagebot.toml index 7494e546ed5..9f8ea2dad52 100644 --- a/triagebot.toml +++ b/triagebot.toml @@ -1092,6 +1092,10 @@ cc = ["@jieyouxu"] message = "The list of allowed third-party dependencies may have been modified! You must ensure that any new dependencies have compatible licenses before merging." cc = ["@davidtwco", "@wesleywiser"] +[mentions."src/tools/tidy/src/ext_tool_checks.rs"] +message = "`tidy` extra checks were modified." +cc = ["@lolbinarycat"] + [mentions."src/bootstrap/src/core/config"] message = """ This PR modifies `src/bootstrap/src/core/config`. |