Skip to content

Tweak HTML coverage reporter output#487

Merged
ahx merged 1 commit into
mainfrom
increase_minimum_coverage_warning
Jul 16, 2026
Merged

Tweak HTML coverage reporter output#487
ahx merged 1 commit into
mainfrom
increase_minimum_coverage_warning

Conversation

@ahx

@ahx ahx commented Jul 13, 2026

Copy link
Copy Markdown
Owner
  • Tweak layout
  • Filter un/covered endpoints
  • Don't hide covered endpoints

- Tweak layout
- Filter un/covered endpoints
- Don't hide covered endpoints
@ahx
ahx force-pushed the increase_minimum_coverage_warning branch from bac360d to e77d723 Compare July 13, 2026 20:52
@ahx ahx changed the title Redo HTML coverage reporter Tweak HTML coverage reporter output Jul 13, 2026
@ahx
ahx merged commit 7c763da into main Jul 16, 2026
32 checks passed
@ahx
ahx deleted the increase_minimum_coverage_warning branch July 16, 2026 15:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant