Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

dist/tools/doccheck: do not ignore unbalanced groups #20578

Closed
wants to merge 1 commit into from

Conversation

kfessel
Copy link
Contributor

@kfessel kfessel commented Apr 15, 2024

Contribution description

when simplifying the ignore pattern mechanism for doccheck, I accidentally added ignorance for unbalanced groups this fixes that

Testing procedure

doccheck

Issues/PRs references

#19240

shall fail unless rebased on #20567

picked up by #20567

@kfessel kfessel force-pushed the remove-unbalance-ingorace branch from 46a66dc to 59cfce5 Compare April 15, 2024 14:26
@kfessel kfessel changed the title dist/tools/doccheck: do not ignore unbalaced groups dist/tools/doccheck: do not ignore unbalanced groups Apr 15, 2024
@github-actions github-actions bot added the Area: tools Area: Supplementary tools label Apr 15, 2024
@kfessel
Copy link
Contributor Author

kfessel commented Apr 16, 2024

picked up by #20567

@kfessel kfessel closed this Apr 16, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Area: tools Area: Supplementary tools
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant