Repository navigation

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

Commits on Oct 15, 2026
- Add GitHub Actions CI with JaCoCo coverage badges
  claude
  committed
  2cf7615
- Merge branch 'claude/practical-dirac-t5uv58' into claude/github-actions-ci
  claude
  committed
  fcc386c
- Exclude Lombok-generated code from coverage; scope CI badge to main
  claude
  committed
  0d84904
- Merge remote-tracking branch 'origin/main' into claude/github-actions-ci
  claude
  committed
  6976673
- Harden CI workflow
  claude
  committed
  ea1909c
- CI: ordered concurrency, timeouts, manual trigger, grouped Maven updates
  claude
  committed
  65dc65b
- CI: don't let re-runs of older commits regress the badges
  claude
  committed
  00d50cd