Skip to content
This repository was archived by the owner on Jun 17, 2026. It is now read-only.

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

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

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

Triggered via push May 18, 2026 16:58
Status Success
Total duration 20s
Artifacts
Verify generated files are up-to-date
12s
Verify generated files are up-to-date
Fit to window
Zoom out
Zoom in