Skip to content

early linting: avoid redundant calls to check_id#142398

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

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

Commits

Commits on Jun 12, 2025