Skip to content

ci: refresh coverage badge on main events#74

Open
roark47 wants to merge 2 commits into
mainfrom
codex/fix-coverage-badge-workflow
Open

ci: refresh coverage badge on main events#74
roark47 wants to merge 2 commits into
mainfrom
codex/fix-coverage-badge-workflow

Conversation

@roark47

@roark47 roark47 commented May 27, 2026

Copy link
Copy Markdown
Collaborator

Summary

  • run CI on every push to main so coverage badge updates after docs-only or workflow-only merges too
  • add workflow_dispatch so maintainers can manually refresh the coverage badge
  • keep badge artifact upload and badges-branch write job restricted to main push/manual events, not PRs

Verification

  • ruby -e 'require "yaml"; YAML.load_file(".github/workflows/ci.yml")'
  • git diff --check
  • GOCACHE=/private/tmp/skill-up-gocache make verify
  • GOCACHE=/private/tmp/skill-up-gocache make test

@roark47
roark47 requested a review from hittyt as a code owner May 27, 2026 06:24
@roark47 roark47 self-assigned this May 29, 2026
@roark47
roark47 requested review from lijunfeng722 and zpzjzj May 29, 2026 09:49
@zpzjzj

zpzjzj commented Jul 17, 2026

Copy link
Copy Markdown
Collaborator

I rechecked this against current main before reviewing. The branch is now 80 commits behind, and the coverage-badge build/upload/commit jobs this patch modifies are no longer present in the current default .github/workflows/ci.yml after the CI split. As a result, the existing diff is no longer reviewable as an incremental change.

Please either close this PR if the original badge-refresh requirement is obsolete, or rework it from current main against the workflow that now owns coverage publishing. I’m holding off on a line-by-line review until that scope is refreshed.

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

Labels

None yet

Projects

Status: Backlog

Development

Successfully merging this pull request may close these issues.

2 participants