Skip to content

ci: refresh coverage badge on main events#74

Open
roark47 wants to merge 1 commit into
mainfrom
codex/fix-coverage-badge-workflow
Open

ci: refresh coverage badge on main events#74
roark47 wants to merge 1 commit 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 added the enhancement New feature or request label May 29, 2026
@roark47 roark47 requested review from lijunfeng722 and zpzjzj May 29, 2026 09:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

Status: Backlog

Development

Successfully merging this pull request may close these issues.

1 participant