Skip to content

Report the configured Polonius default in -Z help - #161909

Merged
rust-bors[bot] merged 2 commits into
rust-lang:mainfrom
chenyukang:yukang-fix-161543-polonius-help-default
Aug 30, 2026
Merged

Report the configured Polonius default in -Z help#161909
rust-bors[bot] merged 2 commits into
rust-lang:mainfrom
chenyukang:yukang-fix-161543-polonius-help-default

Report the configured Polonius default in -Z help

3637675
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Calculate job matrix
succeeded Aug 29, 2026 in 44s