Skip to content

[reporting] Group unused skips by rule, skip reporting on narrowed runs#8069

Merged
TomasVotruba merged 3 commits into
mainfrom
tv-skip-7
Jun 20, 2026
Merged

[reporting] Group unused skips by rule, skip reporting on narrowed runs#8069
TomasVotruba merged 3 commits into
mainfrom
tv-skip-7

Commits

Commits on Jun 20, 2026