Skip to content
Merged
Changes from all commits
Commits
Show all changes
15 commits
Select commit Hold shift + click to select a range
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
26 changes: 15 additions & 11 deletions standards/workflows/agent-ingress.yml
Original file line number Diff line number Diff line change
Expand Up @@ -122,13 +122,17 @@ jobs:
&& contains(fromJSON('["submitted","dismissed"]'), github.event.action))
|| github.event_name == 'check_suite'
|| github.event_name == 'workflow_run'
# Job-level concurrency (the source stub's workflow-level group), bounded per ADR-0010. PR events
# keep their per-PR slot; check_suite / workflow_run share one slot per head SHA (no run_id).
# Workflow-level concurrency in the source stub → job-level here, bounded per
# ADR-0010: literal role prefix, payload parts only (no run_id), literal bool.
# PR events keep their per-PR slot; check_suite / workflow_run use their own
# event ids so runs on a shared commit never cancel another PR's review (§4b).
concurrency:
group: >-
pr-auto-review-ready-check-${{
(github.event.pull_request.number && format('pr-{0}', github.event.pull_request.number))
|| format('sha-{0}', github.event.check_suite.head_sha || github.event.workflow_run.head_sha)
pr-auto-review-${{
github.event.pull_request.number
|| github.event.check_suite.id
|| github.event.workflow_run.id
|| 'none'
}}
cancel-in-progress: true
permissions:
Expand All @@ -141,8 +145,8 @@ jobs:

# ── pr-review ─────────────────────────────────────────────────────────────────
pr-review:
# Subscription filter AND the check_suite-with-no-PR skip, both pure event predicates over the
# delivered payload.
# Subscription filter AND the source stub's check_suite-with-no-PR skip, both
# pure event predicates over the delivered payload.
if: >-
(
(github.event_name == 'pull_request'
Expand All @@ -154,9 +158,9 @@ jobs:
|| (github.event_name == 'repository_dispatch' && github.event.action == 'pr-review-mention')
)
&& (github.event_name != 'check_suite' || github.event.check_suite.pull_requests[0] != null)
# Job-level concurrency, bounded per ADR-0010: payload parts only (no inputs.*, no run_id). A sweep
# with no PR shares the 'enumerate' slot. The fallback is NOT 'batch', because the pinned reusable
# declares pr-review-batch.
# Job-level concurrency, bounded per ADR-0010: payload parts only (no inputs.*,
# no run_id). A sweep with no PR shares the 'enumerate' slot. The fallback is
# NOT 'batch', because the pinned reusable declares pr-review-batch (§4b).
concurrency:
group: >-
pr-review-${{
Expand Down Expand Up @@ -198,7 +202,7 @@ jobs:
if: >-
github.event_name == 'check_run'
&& github.event.check_run.conclusion == 'failure'
&& !startsWith(github.event.check_run.name, 'CI Failure Analyst')
&& !startsWith(github.event.check_run.name, 'ci-failure-analyst')
concurrency:
group: "ci-failure-analyst-${{ github.event.check_run.head_sha }}"
cancel-in-progress: false
Expand Down
Loading