Skip to content

add progress bar when running rule-coverage - #934

Merged
moritz-gross merged 5 commits into
daisy:mainfrom
moritz-gross:feat/progress-bar-for-rule-coverage-tool
Oct 29, 2026
Merged

moritz-gross merged 5 commits into
daisy:mainfrom
moritz-gross:feat/progress-bar-for-rule-coverage-tool

Commits

  1. Commits on Oct 27, 2026

  2. Commits on Oct 29, 2026