Repository navigation

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

Merged

TomasVotruba merged 3 commits into

mainfrom

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 on Jun 20, 2026
- group paths together for skip
  TomasVotruba
  committed
  88acc0a
- skip unused-skip reporting on narrowed runs, group paths by rule
  TomasVotruba
  committed
  07d8a35
- [ci-review] Rector Rectify
  actions-user
  committed
  20fe3d2