Skip to content

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

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

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

Triggered via push April 26, 2026 19:56
Status Success
Total duration 15s
Artifacts
Verify generated files are up-to-date
11s
Verify generated files are up-to-date
Fit to window
Zoom out
Zoom in