Skip to content

[reporting] render unused rule-scoped skips as nested list#8070

Merged
TomasVotruba merged 2 commits into
mainfrom
tv-skip-8
Jun 20, 2026
Merged

[reporting] render unused rule-scoped skips as nested list#8070
TomasVotruba merged 2 commits into
mainfrom
tv-skip-8

Commits

Commits on Jun 20, 2026