Skip to content

Autogenerated JaCoCo coverage badge - #25

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

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

Commits

Commits on Sep 16, 2026