Skip to content

Add branch coverage to our PR coverage annotations#4190

Draft
ScottDugas wants to merge 1 commit into
FoundationDB:mainfrom
ScottDugas:branch-coverage
Draft

Add branch coverage to our PR coverage annotations#4190
ScottDugas wants to merge 1 commit into
FoundationDB:mainfrom
ScottDugas:branch-coverage

Conversation

@ScottDugas
Copy link
Copy Markdown
Collaborator

The data was already gathered via JaCoCo so this just exposes it in the same way as the line coverage. branch coverage is omitted if the changed lines have no branches.

The data was already gathered via JaCoCo so this just exposes it
in the same way as the line coverage. branch coverage is omitted if
the changed lines have no branches.
@ScottDugas ScottDugas added the build improvement Improvement to the build system label May 21, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

build improvement Improvement to the build system

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant