Skip to content

Autogenerated JaCoCo coverage badge - #23

Merged
github-actions[bot] merged 1 commit into
masterfrom
ci/jacoco-badge-d7f3f5f
Sep 16, 2026
Merged

github-actions[bot] merged 1 commit into
masterfrom
ci/jacoco-badge-d7f3f5f

Commits

Commits on Sep 16, 2026