Skip to content

Conversation

@emsonder
Copy link
Contributor

@emsonder emsonder commented Jul 9, 2025

No description provided.

@emsonder emsonder requested a review from Copilot July 9, 2025 15:12

This comment was marked as outdated.

@emsonder emsonder requested review from Copilot and plger July 9, 2025 15:13
Copy link
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

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

Pull Request Overview

This PR adds a Codecov test-coverage badge to the repository and ensures the covr package is listed under suggests for code coverage reporting.

  • Inserted Codecov badge in README.md
  • Added covr to the DESCRIPTION suggests section

Reviewed Changes

Copilot reviewed 2 out of 3 changed files in this pull request and generated no comments.

File Description
README.md Added a [![codecov]…] badge linking to Codecov
DESCRIPTION Added covr to Suggests for coverage reporting
Comments suppressed due to low confidence (2)

README.md:4

  • [nitpick] Consider capitalizing the badge label to [![Codecov]…] for consistency with the service’s branding and to match the style of the existing R-CMD-check badge.
 [![codecov](https://codecov.io/gh/ETHZ-INS/TFBlearner/graph/badge.svg)](https://codecov.io/gh/ETHZ-INS/TFBlearner)

README.md:4

  • The badge is in place but there’s no CI workflow here to generate and upload coverage reports with covr to Codecov. Consider adding a GitHub Actions step using covr::codecov() to publish coverage data.
 [![codecov](https://codecov.io/gh/ETHZ-INS/TFBlearner/graph/badge.svg)](https://codecov.io/gh/ETHZ-INS/TFBlearner)

@codecov
Copy link

codecov bot commented Jul 10, 2025

Welcome to Codecov 🎉

Once you merge this PR into your default branch, you're all set! Codecov will compare coverage reports and display results in all future pull requests.

ℹ️ You can also turn on project coverage checks and project coverage reporting on Pull Request comment

Thanks for integrating Codecov - We've got you covered ☂️

@plger plger merged commit 9a59b01 into main Jul 10, 2025
2 checks passed
@emsonder emsonder deleted the adding_coverage_badge branch July 11, 2025 13:21
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.

3 participants