Skip to content

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

Verify generated files are up-to-date

succeeded May 18, 2026 in 12s