From f5cde05d06574e7c52f5ce46fa8fdbd7a8a324ed Mon Sep 17 00:00:00 2001 From: Tristan Simas Date: Fri, 30 Oct 2026 11:33:54 -0400 Subject: [PATCH] The queue's group commit carries the verdict status main requires Main is about to require agent-comms/review directly, as RulesetGates checks. Core posts that status on a pull request's head, so a merge group's commit never had it and every queue entry would hang. The group job already verifies the head's verdict; it now posts the status on the group commit. Co-Authored-By: Claude Opus 5.5 Claude-Session: https://claude.ai/code/session_01XbFMSpSd8zQxyozgEV2Re7 --- .github/workflows/nra-gate.yml | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/.github/workflows/nra-gate.yml b/.github/workflows/nra-gate.yml index 32f51e949b..8817e80221 100644 --- a/.github/workflows/nra-gate.yml +++ b/.github/workflows/nra-gate.yml @@ -160,7 +160,7 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 2 permissions: - statuses: read + statuses: write pull-requests: read env: GH_TOKEN: ${{ github.token }} @@ -168,6 +168,8 @@ jobs: steps: # A pull request is pushed before its verdict exists; the queue's group # is where the commander's verdict on the head must already be success. + # Main requires agent-comms/review directly, and a verdict names a pull request's + # head, so the group's own commit carries the status its verified head holds. - name: The commander's verdict on the queued head is success if: github.event_name == 'merge_group' shell: bash @@ -178,6 +180,8 @@ jobs: --jq '[.statuses[] | select(.context == "agent-comms/review")][0].state // "none"') echo "PR #${BASH_REMATCH[1]} head $head: agent-comms/review=$verdict" [[ $verdict == success ]] + gh api "repos/$GITHUB_REPOSITORY/statuses/$GITHUB_SHA" -f state=success \ + -f context=agent-comms/review -f "description=Verdict on head $head" nra-gate: name: debt-${{ matrix.kind }}