Skip to content

CI: Add coverage diff reporting #9

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
merged 3 commits into from
Aug 16, 2023
Merged

CI: Add coverage diff reporting #9

merged 3 commits into from
Aug 16, 2023

Conversation

thekaveman
Copy link
Member

@github-actions
Copy link

Coverage report

Note
No coverage data of the default branch was found for comparison. A possible reason for this is that the coverage action has not yet run after a push event and the data is therefore not yet initialized.

The coverage rate is 97.29%.
The branch rate is 95%.

None of the new lines are part of the tested code. Therefore, there is no coverage data about them.

@thekaveman thekaveman merged commit 01c9265 into main Aug 16, 2023
@thekaveman thekaveman deleted the ci/coverage branch August 16, 2023 17:15
This was referenced Aug 16, 2023
Closed
Closed
@thekaveman thekaveman self-assigned this Apr 22, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@thekaveman thekaveman

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@thekaveman