Skip to content

Add GitHub Actions CI with JaCoCo coverage badges - #2

Merged
andreasarf merged 7 commits into
mainfrom
claude/github-actions-ci
Oct 15, 2026
Merged

Add GitHub Actions CI with JaCoCo coverage badges#2
andreasarf merged 7 commits into
mainfrom
claude/github-actions-ci

CI: don't let re-runs of older commits regress the badges

00d50cd
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar