Skip to content

Remove SHOULD_EMIT_LINTS in favor of should_emit#144866

Merged
bors merged 1 commit intorust-lang:masterfrom
JonathanBrouwer:should_emit_fix
Aug 5, 2025
Merged

Remove `SHOULD_EMIT_LINTS` in favor of `should_emit`#144866
bors merged 1 commit intorust-lang:masterfrom
JonathanBrouwer:should_emit_fix

Commits

Commits on Aug 3, 2025