Skip to content

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

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

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

Triggered via push April 20, 2026 20:22
Status Success
Total duration 14s
Artifacts
Verify generated files are up-to-date
10s
Verify generated files are up-to-date
Fit to window
Zoom out
Zoom in