update docs on coverage #164

Merged
muellerr merged 1 commits from update-coverage-docs into main 2025-09-24 19:55:47 +02:00