citool: report debuginfo test statistics#151810
Merged
rust-bors[bot] merged 1 commit intorust-lang:mainfrom Feb 4, 2026
Merged
citool: report debuginfo test statistics#151810rust-bors[bot] merged 1 commit intorust-lang:mainfrom
rust-bors[bot] merged 1 commit intorust-lang:mainfrom