Skip to content

early linting: avoid redundant calls to check_id#142398

Merged
bors merged 1 commit into
rust-lang:masterfrom
fee1-dead-contrib:push-ynxrtswtkyxw
Jun 15, 2025
Merged

early linting: avoid redundant calls to check_id#142398
bors merged 1 commit into
rust-lang:masterfrom
fee1-dead-contrib:push-ynxrtswtkyxw

early linting: avoid redundant calls to `check_id`

ae8ca1f
Select commit
Loading
Failed to load commit list.
Sign in for the full log view