Skip to content

Add patch coverage API#3742

Merged
josephsnyder merged 2 commits into
Kitware:masterfrom
williamjallen:coverage-diff
May 26, 2026
Merged

Add patch coverage API#3742
josephsnyder merged 2 commits into
Kitware:masterfrom
williamjallen:coverage-diff

Conversation

@williamjallen
Copy link
Copy Markdown
Collaborator

This PR adds a CoverageDiff GraphQL type and createCoverageDiff mutation which accepts two build IDs and creates a summary of the coverage diff between them. In the future, this patch coverage summary can be expanded by storing the actual diff, not just a summary of the diff. Another potential future improvement is to display this summary data in the UI somewhere. For now, this feature is available via the API only, and is meant for use in CI workflows.

Copy link
Copy Markdown
Member

@josephsnyder josephsnyder left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM!

@josephsnyder josephsnyder added this pull request to the merge queue May 26, 2026
@github-merge-queue github-merge-queue Bot removed this pull request from the merge queue due to failed status checks May 26, 2026
@josephsnyder josephsnyder added this pull request to the merge queue May 26, 2026
Merged via the queue into Kitware:master with commit 04e4b6d May 26, 2026
7 checks passed
@williamjallen williamjallen deleted the coverage-diff branch May 27, 2026 12:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants