Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
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
2 changes: 1 addition & 1 deletion .agent-plan.md
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@

## Current System State

**v0.5.0 in progress — Milestones 7–11 complete, v4 dataset shipped.** Full simulation engine + render/bundle + exposure filtering + CLI commands + validation harness implemented. v4 engine changes + build pipeline merged (PR #21). v4 dataset generated and validated. 609 tests passing.
**v0.5.0 in progress — Milestones 7–11 complete, v4 dataset shipped.** Full simulation engine + render/bundle + exposure filtering + CLI commands + validation harness implemented. v4 engine changes + build pipeline merged (PR #21). v4 dataset generated and validated. PR-agent refresh fallback wiring fixed for bot-authored reviews. 609 tests passing.

---

Expand Down
2 changes: 2 additions & 0 deletions .github/workflows/pr-agent-context-refresh-dispatcher.yml
Original file line number Diff line number Diff line change
Expand Up @@ -163,6 +163,8 @@ jobs:
pull_request_number: String(pr.number),
pull_request_head_sha: pr.head.sha,
pull_request_base_sha: pr.base.sha,
trigger_event_name: 'schedule',
trigger_event_action: '',
},
});

Expand Down
48 changes: 42 additions & 6 deletions .github/workflows/pr-agent-context-refresh.yml
Original file line number Diff line number Diff line change
@@ -1,4 +1,23 @@
name: PR agent context refresh
run-name: >-
${{
github.event_name == 'workflow_dispatch' &&
format(
'dispatch refresh PR #{0} @ {1}',
github.event.inputs.pull_request_number,
github.event.inputs.pull_request_head_sha
) ||
github.event_name == 'pull_request_review' &&
format('review refresh PR #{0}', github.event.pull_request.number) ||
github.event_name == 'pull_request_review_comment' &&
format('review-comment refresh PR #{0}', github.event.pull_request.number) ||
github.event_name == 'check_run' &&
format(
'check refresh {0}',
github.event.check_run.pull_requests[0].number || github.event.check_run.head_sha
) ||
github.workflow
}}

on:
pull_request_review:
Expand All @@ -21,9 +40,20 @@ on:
description: Base SHA of the PR
required: true
type: string
trigger_event_name:
description: Synthetic trigger event name used in rendered metadata
required: false
default: workflow_dispatch
type: string
trigger_event_action:
description: Synthetic trigger event action used in rendered metadata
required: false
default: ""
type: string

# SHA-aware concurrency: workflow_dispatch runs key on PR+SHA so same-PR/different-SHA
# dispatches are not cancelled, but duplicate dispatches for the same PR+SHA are.
# dispatches can run independently. Direct event-triggered refreshes cancel older in-flight runs;
# workflow_dispatch refreshes share the PR+SHA group but are allowed to finish instead of being cancelled.
concurrency:
group: >-
pr-agent-context-refresh-${{
Expand All @@ -34,7 +64,7 @@ concurrency:
github.event.check_run.head_sha ||
github.sha
}}
cancel-in-progress: true
cancel-in-progress: ${{ github.event_name != 'workflow_dispatch' }}
Comment thread
shaypal5 marked this conversation as resolved.

permissions:
contents: read
Expand All @@ -45,7 +75,10 @@ jobs:
pr-agent-context-refresh:
name: PR agent context refresh
if: >-
github.event_name == 'workflow_dispatch' ||
(github.event_name == 'workflow_dispatch' &&
github.event.inputs.pull_request_number != '' &&
github.event.inputs.pull_request_base_sha != '' &&
github.event.inputs.pull_request_head_sha != '') ||
(github.event_name == 'pull_request_review' &&
github.event.pull_request.head.repo.full_name == github.repository) ||
(github.event_name == 'pull_request_review_comment' &&
Expand All @@ -59,6 +92,11 @@ jobs:
with:
tool_ref: v4
execution_mode: refresh
trigger_event_name_override: ${{ github.event.inputs.trigger_event_name || '' }}
trigger_event_action_override: ${{ github.event.inputs.trigger_event_action || '' }}
pull_request_number_override: ${{ github.event.inputs.pull_request_number || '' }}
pull_request_head_sha_override: ${{ github.event.inputs.pull_request_head_sha || '' }}
pull_request_base_sha_override: ${{ github.event.inputs.pull_request_base_sha || '' }}
publish_mode: append
include_review_comments: true
include_outdated_review_threads: true
Expand All @@ -67,10 +105,8 @@ jobs:
include_patch_coverage: true
target_patch_coverage: "100"
coverage_artifact_prefix: pr-agent-context-coverage
coverage_source_workflows: CI
enable_cross_run_coverage_lookup: true
wait_for_reviews_to_settle: true
publish_all_clear_comments_in_refresh: false
debug_artifacts: true
pull_request_number: ${{ inputs.pull_request_number || '' }}
pull_request_head_sha: ${{ inputs.pull_request_head_sha || '' }}
pull_request_base_sha: ${{ inputs.pull_request_base_sha || '' }}
Loading