Skip to content

Show coverage in the CI job summary instead of Codecov - #48

Merged
afarber merged 1 commit into
mainfrom
drop-codecov
Oct 13, 2026
Merged

afarber merged 1 commit into
mainfrom
drop-codecov

Conversation

@afarber

@afarber afarber commented Oct 13, 2026

Copy link
Copy Markdown
Owner

The codecov badge on the front page has always been grey. Every upload was rejected by Codecov with `Token required - not valid tokenless upload`, and since the step ran with `fail_ci_if_error: false` it never showed up as a failure.

Rather than wiring up a Codecov account and token, this drops Codecov and keeps everything inside GitHub:

  • The Codecov upload step and the README badge are gone
  • `check-coverage.sh` now also prints line and branch coverage, and on GitHub Actions writes a small table to the job summary of the "Check Test Coverage" job
  • The full HTML report is still uploaded as the `coverage-reports` artifact
  • Docs updated, and the README tagline uses a plain dash

Current numbers: 49% instructions, 49% lines, 38% branches. More tests follow in a separate PR.

The Codecov upload never worked: every upload was rejected with
"Token required - not valid tokenless upload", and since the step
had fail_ci_if_error: false nobody noticed. The badge stayed grey.

- Remove the Codecov upload step and the README badge
- check-coverage.sh also reports line and branch coverage and writes
  a table to the GitHub job summary
- Update the workflow and testing docs
- Use a plain dash in the README tagline
@afarber
afarber merged commit 34e283e into main Oct 13, 2026
14 checks passed
@afarber
afarber deleted the drop-codecov branch October 13, 2026 07:12
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.

1 participant