Skip to content

[FEATURE] Add --rules-summary CLI option#413

Merged
simonschaufi merged 1 commit into
mainfrom
rules-summary
Jun 27, 2026
Merged

[FEATURE] Add --rules-summary CLI option#413
simonschaufi merged 1 commit into
mainfrom
rules-summary

Conversation

@simonschaufi

Copy link
Copy Markdown
Collaborator

No description provided.

@simonschaufi simonschaufi merged commit ac91529 into main Jun 27, 2026
36 checks passed
@simonschaufi simonschaufi deleted the rules-summary branch June 27, 2026 00:13
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