Skip to content

Update Java JaCoCo coverage badge - #1833

Merged
stephentoub merged 1 commit into
mainfrom
auto/update-java-jacoco-badge
Jul 2, 2026
Merged

stephentoub merged 1 commit into
mainfrom
auto/update-java-jacoco-badge

Conversation

@github-actions

Copy link
Copy Markdown
Contributor

Automated Java JaCoCo coverage badge update from CI.

@github-actions
github-actions Bot requested a review from a team as a code owner June 29, 2026 20:29
@github-actions
github-actions Bot force-pushed the auto/update-java-jacoco-badge branch 14 times, most recently from 9d65b4a to 45c3992 Compare July 1, 2026 16:29
@github-actions
github-actions Bot force-pushed the auto/update-java-jacoco-badge branch from 45c3992 to 137618b Compare July 1, 2026 22:42
@stephentoub
stephentoub added this pull request to the merge queue Jul 2, 2026
Merged via the queue into main with commit a4ecf99 Jul 2, 2026
3 checks passed
@stephentoub
stephentoub deleted the auto/update-java-jacoco-badge branch July 2, 2026 12:53
edburns pushed a commit that referenced this pull request Aug 4, 2026
Co-authored-by: github-merge-queue[bot] <118344674+github-merge-queue[bot]@users.noreply.github.com>
edburns pushed a commit that referenced this pull request Aug 4, 2026
Co-authored-by: github-merge-queue[bot] <118344674+github-merge-queue[bot]@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant