Skip to content

Flag lints#272

Merged
arainko merged 9 commits intoseries/0.2.xfrom
flag-lints
May 31, 2025
Merged

Flag lints#272
arainko merged 9 commits intoseries/0.2.xfrom
flag-lints

Conversation

@arainko
Copy link
Copy Markdown
Owner

@arainko arainko commented May 31, 2025

Flags (i.e. only case and field renames as of right now) are now properly linted (for example when a rename doesn't actually rename anything, when a rename is being overriden by another rename) - these will obviously not 100% of misuses but they're good enough.

@arainko arainko merged commit 9353422 into series/0.2.x May 31, 2025
13 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant