Repository navigation
CI policy PR checks are missing workflow triggers #5149
Description
Finding
The documented CI merge policy and the nix ci workflow triggers disagree:
.github/ci-policy.mdsays thebasic: proxy port fallbackscheck is the PR-tier merge requirement and says the workflow runs on merge-group events..github/workflows/nix-ci.ymlcurrently declares onlypushtomain,schedule, andworkflow_dispatch; it has nopull_requestormerge_grouptrigger.- On PR fix(aggregator): validate charges producer CLI args (#3333) #5145,
gh pr checksshowed only CodeRabbit asskipping, andgh run listfound no workflow runs for the PR branch.
Expected
Reconcile the workflow triggers and policy so the documented required basic check runs for pull requests and merge-queue groups, or update the policy and branch rules to match the intended coverage. Verify the actual PR and merge-group check events.
Evidence observed 2026-11-03 while validating #3333.
Acceptance criteria
.github/workflows/nix-ci.ymltriggers and.github/ci-policy.mdagree: the documented PR-tier required check (basic: proxy port fallbacks) runs onpull_requestandmerge_groupevents, or the policy and branch rules are updated to the intended coverage with the rationale recorded on this issue.- A test PR shows the basic check actually running (not only CodeRabbit skipping).
- A merge-group run is verified to produce the check before this closes.
Metadata
Metadata
Assignees
Labels
CI/CD pipelines, workflows, and build automation (area)Small: expected under 2 hours of workCI/CD pipelines, workflows, and build automationIntake review done: acceptance criteria, links, and normalized labels addedImportant and time-sensitiveHas a queued task in the Supabase agent queueTriaged and routed (see agent note)Queue packet kind: verify, reproduce, and route this itemQueue or user escalation state
Activity
dezren39 commentedon Nov 3, 2026
🤖 Agent note · dedup (design-architect pass 46, 2026-11-03)
This is the same finding as #4940 (open,
priority/high,queue/queued):.github/workflows/nix-ci.ymlhas nopull_requestormerge_grouptrigger, so the documented required PR-tier checkbasic: proxy port fallbacksnever runs on a PR. #4932 was closed as superseded by #4940 earlier today.Recommend closing this as a duplicate of #4940 and keeping the fix there — its acceptance already covers the
pull_requesttrigger, themerge_grouptrigger (or a ci-policy correction), and verification on a real PR. No separate fix track needed.dezren39 commentedon Nov 4, 2026
Intake review
nix-ci.ymldeclares onlypush/schedule/workflow_dispatch. Either the workflow lost its PR triggers or the policy overstates coverage; the fix must make them agree, and branch protection should be checked against whichever is intended.pull_requesttriggers fleet-wide raises CI spend; scope the PR trigger to the basic tier if the workflow supports tiering by event.pull_request+merge_grouptriggers for the basic tier, open a test PR, confirm the check appears, then reconcileci-policy.mdwording.🤖 Fleet monitor intake pass, 2026-11-03 run.
dezren39 commentedon Nov 4, 2026
Agent note — task 9462 handed off to opencode execution lane
repo-queue lane task 9462):opencodeopencode-claimantlaunches a session bound to task 9462 to drive it to a terminal state.handed_off. If the claimant has not launched by lease expiry, task 9462 returns to the queue.dezren39 commentedon Nov 4, 2026
Agent note — task 9462 handed off to opencode claimant (lane code-l)
opencode, so this worker does not work it directly.handed_offand parked 1200s for the laptop opencode claimant to bind and launch its session. If unbound by lease/park expiry, the task returns to the queue.106 remaining items
developing-today commentedon Nov 7, 2026
Progress from
repo-worker-code-n: claimed: triage CI policy PR checks missing workflow triggers; revalidating against current workflow files on maindeveloping-today commentedon Nov 7, 2026
Released by
repo-worker-code-n(outcome: free). No work needed: fix already landed (PR #6752 merged 0de43de), criteria 1-2 verified fresh by lanes code-z/code-o tonight, and criterion 3 (verified merge-group run) was escalated to Drew with full substance by lane code-c at 2026-11-07T04:14Z (user/escalated stands — main has no merge queue). Lane code-n verified the comment chain fresh and releases without changes; remainder is Drew's decision only.developing-today commentedon Nov 7, 2026
Picked up by
repo-worker-code-z— working this now. (Fleet queue fallback mode: the queue backend is down, so this issue's comments carry the claim. The claim stays live whilerepo-worker-code-zposts progress markers; after 30 minutes of silence any other worker may pick this up.)developing-today commentedon Nov 7, 2026
Released by
repo-worker-code-z(outcome: free). No work needed (fallback, lane code-z): fix landed via PR #6752 (merged 0de43de); criteria 1-2 verified tonight by lanes code-z/code-o; criterion 3 escalated to Drew with full substance by lane code-c 2026-11-07T04:28Z (user/escalated stands — main has no merge queue). This claim was the known fallback re-claim race; released without changes. Remainder is Drew's decision only.