ci: Add Code Coverage Badge (via CodeCov)#73
Merged
Conversation
Add ADR-0012 (publish test coverage to Codecov): a live README badge and PR coverage feedback are not achievable with workflow artifacts alone, and the CI-committed badge alternative was rejected because CI must not push commits. Codecov statuses are configured informational so coverage never blocks a merge. ADR-0012 supersedes ADR-0011 and restates its surviving half (Checkstyle stays advisory). Update ADR-0011's status and the ADR index accordingly.
Add a Codecov upload step to the Tests workflow (codecov-action pinned to the commit SHA of v7.0.0) sending target/site/jacoco/jacoco.xml, and a root codecov.yml marking the project and patch statuses informational so coverage reports never block a merge (ADR-0012). Upload failures do not fail CI. The workflow-artifact upload stays as an offline fallback. The upload uses the CODECOV_TOKEN repository secret; until it is set, uploads from this public repository run tokenless (rate-limited).
Add the Codecov coverage badge to the README badge block, linking to the dashboard, and rework the documentation entry to lead with Codecov while keeping the workflow-artifact and local-report paths. Document the Codecov flow in CONTRIBUTING (dashboard, PR comments, informational statuses), add Codecov entries to GLOSSARY.md and GLOSSAIRE.md (kept in sync), add a CI and code quality table to docs/tech-stacks.md (GitHub Actions, Checkstyle, JaCoCo, Codecov), and record the executed plan in docs/plans/2026-07-07-codecov-coverage.md.
ebouchut
added
documentation
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. Thanks for integrating Codecov - We've got you covered ☂️ |
ebouchut
changed the title
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
This PR adds Codecov for coverage reporting, including upload, badges, and documentation updates.
Changes
reporttarget/site/jacoco/jacoco.xml,workflow-artifactupload as fallback, and upload do fail CI,CODECOV_TOKENsecret when available.CONTRIBUTING.mdwith codecov and PR comment behavior.GLOSSARY.mdandGLOSSAIRE.md.docs/-stacks.md.docs/plans/2026-07-07-codecov-coverage.md.Note
CODECOV_TOKENis set in RepositorySettings/Secrets and Variables/Actions/Repository Secrets.