Skip to content
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.

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

Also store raw coverage information on data branch #255

Merged
merged 1 commit into from
Sep 10, 2023
Merged

Conversation

kieferro
Copy link
Member

@kieferro kieferro commented Sep 9, 2023

Prepares #211

With the current redesign for the new coverage comment, we need more information about the coverage on the default branch.
The easiest way to make sure that we have all the data we need, is to simply store the raw JSON coverage data on the coverage data branch.
This is not used yet, but the sooner we ship this change, the more repos will have a push event between this change and the merge of #211, which leads to more cases where all data is available.

@github-actions
Copy link

github-actions bot commented Sep 9, 2023

End-to-end public repo

This makes it possible to have more information than just the coverage rate when comparing a PR.
@github-actions
Copy link

github-actions bot commented Sep 9, 2023

Coverage report

The coverage rate went from 100% to 100% ➡️
The branch rate is 100%.

100% of new lines are covered.

Diff Coverage details (click to unfold)

coverage_comment/main.py

100% of new lines are covered (100% of the complete file).

coverage_comment/files.py

100% of new lines are covered (100% of the complete file).

coverage_comment/coverage.py

100% of new lines are covered (100% of the complete file).

@kieferro kieferro marked this pull request as ready for review September 9, 2023 21:42
Copy link
Member

@ewjoachim ewjoachim left a comment

Choose a reason for hiding this comment

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

Nice ! Let's merge this if it's all good with you !

coverage_comment/coverage.py Show resolved Hide resolved
coverage_comment/coverage.py Show resolved Hide resolved
@kieferro kieferro merged commit 0bbc72f into main Sep 10, 2023
3 checks passed
@kieferro kieferro deleted the save-more-data branch September 10, 2023 00:23
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.

2 participants