Skip to content

ci(issue-shape): judge the issue as it is when the run starts, not its event payload (Closes #11007) - #11008

Merged
gHashTag merged 1 commit into
masterfrom
ci/issue-shape-live-11007
Oct 19, 2026
Merged

gHashTag merged 1 commit into
masterfrom
ci/issue-shape-live-11007

Conversation

@gHashTag

Copy link
Copy Markdown
Owner

Closes #11007

The issue-shape gate read BODY, REFUSED and STATE from github.event.issue. With the Actions queue 38-55 min deep, the run of an old event can finish after the run of a newer edit:

Change (plumbing only, the rule is untouched): the run reads the issue live (gh issue view --json body,state,labels) and judges that. Lines: +3 −4 in .github/workflows/needs-boundary.yml.

Checked locally: the three new lines were run on three gh issue view-shaped fixtures, using the checker compiled the way the workflow compiles it:

fixture result
passing body, closed, labelled shape-refused reopen
failing body, open close (4 missing)
null body, open close (4 missing)

The YAML parses.

Not checked: a live run of the workflow. It runs on the next issue event after merge.

Follow-up on #11007: reopen the 128 (or close them as completed where a merged PR closed them), and post the list.

🤖 Generated with Claude Code

…s event payload (Closes #11007)

A run queued 38 min behind the Actions backlog judged #10897's opened
body after an edit had fixed it, and closed the issue; the edit's own
run read REFUSED=false from its payload and never reopened it. 128 of
the 185 issues the gate closed since 2026-10-18 pass the checker today.

The workflow now reads body, state and labels with `gh issue view` at
run time. The rule stays in specs/policy/issue_shape.t27 and its gen-c
output; this file stays plumbing (+3 -4 lines).

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

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-10-19 11:16:00 UTC

Summary

Status Count
Total Open PRs 50
PRs with Failing Checks 47
PRs with All Checks Green 3
READY 2
FAILING 47
PENDING 0
NO CHECKS YET 0

These columns do not partition: 2 + 47 + 0 + 0 = 49, and there are 50 open PRs. A PR is being counted twice or not at all.

Seal Status

  • ⚠️ STALE -- sha256(compiler.rs)=2d301cdb4a58 != manifest seal=87e5cbd3ad94.
    The committed NMSE numbers were certified against an older compiler.rs.
    Run scripts/reseal-check.sh locally for the two-step reseal command (advisory; not a merge gate).

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.

[bug] issue-shape gate judges the event payload: a queued run closes an issue an edit already fixed (128 of 185 closed issues pass today)

2 participants