Skip to content

Pin the review-coverage action to harper main so footers naming the native Muse leg pass - #1093

Closed
kriszyp wants to merge 1 commit into
mainfrom
ci/review-coverage-accept-muse
Closed

kriszyp wants to merge 1 commit into
mainfrom
ci/review-coverage-accept-muse

Conversation

@kriszyp

@kriszyp kriszyp commented Oct 21, 2026 •

Copy link
Copy Markdown
Member

⊙ Problem

The review-coverage check fails on PRs whose Review-Coverage: footer lists the native muse review, even though the current pre-push helper writes that footer. Example: Replication certifies origin floors for subscription checkpoints.

The workflow pins the action to e856f77. That commit is a pre-squash commit from a harper PR branch and is not on harper main. It predates harper d2cb72a658, which added muse and Gemini authors to the footer grammar.

🤔 Is the requirement right?

Yes. The check should accept every footer the helper writes. This workflow runs on pull_request_target, so the fix has to land on main; a PR branch cannot change it.

💡 Solution

Pin the action to the current harper main tip: the review-coverage action pin now names ea43e567. The # main comment already names main as the tracked ref.

✅ Verification

I ran both action versions locally against the live body of every open harper-pro PR (21 PRs) in enforce mode:

  • Fixed: #1092 and #997 (unknown leg muse).
  • No PR that passes on the old pin fails on the new one.
  • The new action's inputs (framing_paths, pr_author_association) default to empty, so this workflow's with: block needs no change.

🤖 Generated by Claude Opus 5.5; posted via @kriszyp.

Release target: v5.3 — v5.3 carries the same pin (from #947), so PRs into v5.3 fail the same way
Related PRs: none found
Complexity: easy

Review-Coverage: authored=claude; ran=gemini,codex,cursor-composer; adjudicated=domain; blocked=muse(failed); declined=cursor-grok,cursor-kimi,cursor-muse; rounds=1; full=1 @ 673de3e

Review-Attention: skim ~2m (raised: degraded review) @ 673de3e

…ve Muse leg

The pin pointed at e856f77, a pre-squash commit from a harper PR branch that
never landed on main. It predates harper d2cb72a658, which taught the
footer grammar the native `muse` leg and Gemini authors, so every footer the
current pre-push helper writes with `muse` counted 0 reviews and failed.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Dispatch-Task: pr-maint-2b964fca1b68d933fd0647c5cf664df4
@kriszyp kriszyp added this to the v5.3 milestone Oct 21, 2026
@gemini-code-assist

Copy link
Copy Markdown

Note

Gemini is unable to generate a review for this pull request due to the file types involved not being currently supported.

@github-actions

github-actions Bot commented Oct 21, 2026 •

Copy link
Copy Markdown
Contributor

Release cherry-pick v5.3: cancelled

Cherry-pick branch cherry-pick/v5.3/pr-1093 was deleted — this PR was closed without merging.

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