Skip to content

add a covr2gh github action workflow#652

Merged
dragosmg merged 98 commits into
mainfrom
623-coverage-pr-comment
Jul 13, 2026
Merged

add a covr2gh github action workflow#652
dragosmg merged 98 commits into
mainfrom
623-coverage-pr-comment

Conversation

@dragosmg

@dragosmg dragosmg commented Jul 8, 2026

Copy link
Copy Markdown
Collaborator

This PR adds a {covr2gh} GitHub Action workflow that creates a small coverage report and posts it as a PR comment.

fixes #623

@dragosmg dragosmg marked this pull request as ready for review July 8, 2026 13:13
@dragosmg dragosmg changed the title added covr2gh github action workflow add a covr2gh github action workflow Jul 8, 2026
@dragosmg dragosmg marked this pull request as draft July 8, 2026 13:37
@github-actions

Copy link
Copy Markdown
Contributor

🦺 Coverage summary

badge

🟢 Merging PR #652 (a64439d) into main (1e6a9da) will not change overall coverage.
🟰 Diff coverage: No lines added or modified in source files.

♻️ Comment updated with the latest results.

Created on 2026-07-13 with covr2gh v0.0.0.9041.

@dragosmg dragosmg marked this pull request as ready for review July 13, 2026 13:37

@alanahjonas95 alanahjonas95 left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

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

looks great thanks for adding! do we still need the remotes for cards?

@dragosmg dragosmg merged commit a761c75 into main Jul 13, 2026
14 of 18 checks passed
@dragosmg dragosmg deleted the 623-coverage-pr-comment branch July 13, 2026 13:48
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.

enable code coverage PR comments

2 participants