Skip to content

[CLEANUP] Drop redundant type annotations in RuleSet#845

Merged
JakeQZ merged 1 commit intomainfrom
cleanup/redundant-type-annotations-ruleset
Jan 28, 2025
Merged

[CLEANUP] Drop redundant type annotations in `RuleSet`#845
JakeQZ merged 1 commit intomainfrom
cleanup/redundant-type-annotations-ruleset

Commits

Commits on Jan 28, 2025