Skip to content

ci(codecov): add advisory coverage workflow#1602

Closed
EffortlessSteven wants to merge 1 commit into
mainfrom
chore/codecov-coverage-workflow
Closed

ci(codecov): add advisory coverage workflow#1602
EffortlessSteven wants to merge 1 commit into
mainfrom
chore/codecov-coverage-workflow

Conversation

@EffortlessSteven
Copy link
Copy Markdown
Member

@EffortlessSteven EffortlessSteven commented May 7, 2026

Summary

Adds step 1 of the diffguard Codecov rollout: an advisory cargo-llvm-cov coverage workflow that generates reports and conditionally uploads to Codecov.

CI economics

  • Default PR LEM impact: Minimal when not labeled; zero when not triggered.
  • Workflow touched: New .github/workflows/coverage.yml only; does not modify ci.yml.
  • Branch protection impact: None; coverage is advisory, not required.
  • Failure mode caught: Missing coverage artifacts or upload token detection issues.
  • Cheaper signal considered: Coverage is already run by tests; this workflow reruns tests instrumented for coverage, which is necessary for accurate upload.
  • Rollback path: Delete .github/workflows/coverage.yml and any runs; no config or badge dependencies yet.

Claim boundary

Codecov coverage is Rust execution-surface evidence only. It does not prove:

  • diff parser correctness
  • rule evaluation correctness
  • inline suppression correctness
  • renderer completeness (SARIF, JUnit, Checkstyle, GitLab, etc.)
  • LSP diagnostic correctness
  • false-positive baseline or trend correctness
  • mutation adequacy
  • fuzz robustness
  • release readiness

Those are separate proof lanes (test, golden, conformance, fuzz, mutation).

Validation

  • workflow syntax is valid YAML
  • paths trigger correctly (Cargo.toml, crates/, xtask/, .github/workflows/coverage.yml, codecov.yml, docs/ci/coverage.md)
  • coverage job only runs on push, workflow_dispatch, or labeled PRs
  • token detection is conditional; workflow succeeds even without CODECOV_TOKEN
  • main uploads are hard-fail; PR uploads are soft-fail
  • artifacts are uploaded for 14 days with clear names

Generated by Claude Code

@claude
ci(codecov): add advisory coverage workflow
cb13699 
Adds .github/workflows/coverage.yml for Codecov integration.

The workflow runs:
- On push to main (required for repository coverage tracking)
- On workflow_dispatch (manual trigger for ad-hoc coverage checks)
- On PRs labeled with 'coverage', 'full-ci', or 'ci:full' (opt-in coverage runs)

The coverage job:
- Uses cargo-llvm-cov to generate coverage reports in JSON, LCOV, and text formats
- Validates that all coverage artifacts are present and non-empty
- Detects the presence of CODECOV_TOKEN secret for conditional uploads
- Fails hard on main-branch uploads (fail_ci_if_error: true)
- Fails soft on advisory PR uploads (fail_ci_if_error: false)
- Artifacts coverage reports for 14 days

Codecov claim boundary: Rust execution-surface evidence only.
Does not prove diff parser, rule evaluation, suppression, renderer, LSP,
baseline, mutation, fuzz, or release correctness.

https://claude.ai/code/session_01VboXJ243Rjf8hJFzcdVJWE
@gemini-code-assist
Copy link
Copy Markdown

gemini-code-assist Bot commented May 7, 2026

Warning

You have reached your daily quota limit. Please wait up to 24 hours and I will start processing your requests again!

@coderabbitai
Copy link
Copy Markdown

coderabbitai Bot commented May 7, 2026

Warning

Rate limit exceeded

@EffortlessSteven has exceeded the limit for the number of commits that can be reviewed per hour. Please wait 32 minutes and 23 seconds before requesting another review.

You’ve run out of usage credits. Purchase more in the billing tab.

⌛ How to resolve this issue?

After the wait time has elapsed, a review can be triggered using the @coderabbitai review command as a PR comment. Alternatively, push new commits to this PR.

We recommend that you space out your commits to avoid hitting the rate limit.

🚦 How do rate limits work?

CodeRabbit enforces hourly rate limits for each developer per organization.

Our paid plans have higher rate limits than the trial, open-source and free plans. In all cases, we re-allow further reviews after a brief timeout.

Please see our FAQ for further information.

ℹ️ Review info
⚙️ Run configuration

Configuration used: Organization UI

Review profile: ASSERTIVE

Plan: Pro

Run ID: e22e3a39-2248-4309-ad88-af2061c60c15

📥 Commits

Reviewing files that changed from the base of the PR and between 3e1d9e1 and cb13699.

📒 Files selected for processing (1)
  • .github/workflows/coverage.yml
✨ Finishing Touches
🧪 Generate unit tests (beta)
  • Create PR with unit tests
  • Commit unit tests in branch chore/codecov-coverage-workflow

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

Comment @coderabbitai help to get the list of available commands and usage tips.

@EffortlessSteven Claude
Copy link
Copy Markdown
Member Author

EffortlessSteven commented May 8, 2026

Closure Notice

This PR has been superseded by #1606, which merged the complete coverage workflow with all enhancements (receipt artifact and step summary).

Since PR #1606 fully implements the coverage.yml file with receipt generation and step summaries, this base-only version is no longer needed.

Status: Closing in favor of #1606.

The remaining PRs in the Codecov rollout (#1603, #1604, #1605) will proceed separately.

Merged PR #1606 contains: base workflow + receipt artifact + step summary
This PR contained only: base workflow

Generated by Claude Code

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@EffortlessSteven @claude