镜像站点 · 本页由第三方 GitHub 只读镜像提供，非 GitHub 官方站点，不接受任何登录或凭据输入。前往 github.com

Repository navigation

Edburns/code coverage two badges - #217

Merged

edburns merged 2 commits into

github:mainfrom

edburns:edburns/code-coverage-two-badges

May 19, 2026

Merged

Edburns/code coverage two badges#217
edburns merged 2 commits into
github:mainfrom
edburns:edburns/code-coverage-two-badges

Commits on May 18, 2026
- Update JaCoCo coverage badge
  
  edburns
  authored and
  github-actions[bot]
  committed
  69b8233
Commits on May 19, 2026
- Add separate generated and handwritten coverage badges
  
  Copilot
  and
  edburns
  authored
  e7da399