Skip to content

ci: upload coverage to Codecov for the repo/README badge#23

Merged
GREENFONTS merged 1 commit into
mainfrom
dev
Jul 1, 2026
Merged

ci: upload coverage to Codecov for the repo/README badge#23
GREENFONTS merged 1 commit into
mainfrom
dev

Conversation

@GREENFONTS

@GREENFONTS GREENFONTS commented Jul 1, 2026

Copy link
Copy Markdown
Collaborator

Uses CODECOV_TOKEN (repo secret, from codecov.io after activating this repo there) rather than tokenless OIDC, since that failed earlier with "Repository not found" on a repo Codecov has never synced. This runs alongside, not instead of, the existing local coverage threshold check - that gate doesn't depend on the upload succeeding.

What and why

Checklist

  • Tests added/updated and passing (dotnet test)
  • dotnet format --verify-no-changes passes
  • CHANGELOG.md updated under [Unreleased]
  • docs/COMPATIBILITY.md updated for any endpoint you implemented or changed
  • No secrets, tokens, or real API keys committed

Uses CODECOV_TOKEN (repo secret, from codecov.io after activating this repo
there) rather than tokenless OIDC, since that failed earlier with
"Repository not found" on a repo Codecov has never synced. This runs
alongside, not instead of, the existing local coverage threshold check -
that gate doesn't depend on the upload succeeding.
@codecov-commenter

Copy link
Copy Markdown

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 ☂️

@GREENFONTS
GREENFONTS merged commit 148770c into main Jul 1, 2026
3 checks passed
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