Skip to content

Merge pull request #88 from github/auto/update-jacoco-badge #38

Merge pull request #88 from github/auto/update-jacoco-badge

Merge pull request #88 from github/auto/update-jacoco-badge #38

Triggered via push April 21, 2026 15:22
Status Success
Total duration 13s
Artifacts
Verify generated files are up-to-date
9s
Verify generated files are up-to-date
Fit to window
Zoom out
Zoom in