Skip to content

improve formatting of console report#32

Merged
wakingrufus merged 1 commit intomainfrom
improved-console-report
Dec 8, 2025
Merged

improve formatting of console report#32
wakingrufus merged 1 commit intomainfrom
improved-console-report

Conversation

@wakingrufus
Copy link
Copy Markdown
Member

group rule summaries by source class

group rule summaries by source class
@wakingrufus wakingrufus marked this pull request as ready for review December 8, 2025 22:24
@wakingrufus wakingrufus merged commit d568d8a into main Dec 8, 2025
3 checks passed
@wakingrufus wakingrufus deleted the improved-console-report branch December 8, 2025 22:30
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