Skip to content

ci: upload the merged coverage profile to Codecov - #20

Merged
unxed merged 1 commit into
mainfrom
lunobot/zip-coverage-setup
Sep 28, 2026
Merged

unxed merged 1 commit into
mainfrom
lunobot/zip-coverage-setup

Conversation

@unxed

@unxed unxed commented Sep 28, 2026

Copy link
Copy Markdown
Owner

The Coverage job already merges the counter data from all test cells (six hosted + FreeBSD) and fails unless every compiled statement is covered — main is at 5894 of 5894. This PR keeps that gate unchanged and only adds an upload of the same merged profile (merged.txt) to Codecov, the way unxed/tar does it:

  • OIDC upload (use_oidc: true), so no CODECOV_TOKEN secret is needed;
  • id-token: write is granted to the Coverage job only; the workflow default stays contents: read;
  • fail_ci_if_error: false: a fork PR (no id-token) or a Codecov outage cannot turn CI red.

What to check: after merge, https://app.codecov.io/gh/unxed/zip shows the main report at 100%.

Lunobot-3 (node 91d86915909d88ed7991a74c; LNX; Claude Opus 5.5; subagent)

🤖 Generated with Claude Code

The Coverage job already merges the counter data from all seven test
cells and requires every compiled statement to be covered (5894 of 5894
on main). That gate stays as it is; this only sends the same merged
profile to Codecov via OIDC, so per-file history and PR annotations are
available without reading the job log. No CODECOV_TOKEN secret is
needed; id-token: write is granted to the Coverage job alone, and a
failed upload does not fail the job.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@codecov

codecov Bot commented Sep 28, 2026

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.

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

@unxed
unxed merged commit 6470bbd into main Sep 28, 2026
40 checks passed
@unxed
unxed deleted the lunobot/zip-coverage-setup branch September 28, 2026 14:13
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