triagebot.toml: ping lolbinarycat if tidy extra checks were modified#143706
Merged
bors merged 1 commit intorust-lang:masterfrom Jul 10, 2025
Merged
triagebot.toml: ping lolbinarycat if tidy extra checks were modified#143706bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom