Skip to content

ci(regression): trigger on PR edited events for Graphite base changes#2659

Merged
miguel-heygen merged 1 commit into
mainfrom
codex/studio-timeline-wave0-regression-edited
Jul 20, 2026
Merged

ci(regression): trigger on PR edited events for Graphite base changes#2659
miguel-heygen merged 1 commit into
mainfrom
codex/studio-timeline-wave0-regression-edited

Conversation

@miguel-heygen

@miguel-heygen miguel-heygen commented Jul 20, 2026

Copy link
Copy Markdown
Collaborator

What

Add edited to the regression workflow's pull-request event types.

This is Wave 0: the operational prerequisite for the Studio timeline landing-wave migration.

Why

Graphite can change a PR base without changing its head SHA. Regression must create fresh evidence for the exact head/base pair before each family merges.

Prerequisite: merged PR #2558 (735128a61a152267a00b99defbd290f489482cbc).

Landing order: Wave 0 before Families A-G.

How

Mirror the existing CI workflow trigger list. No path filters, jobs, or regression behavior change.

Test plan

  • YAML parsed and the exact pull-request event list asserted
  • bunx oxfmt --check .github/workflows/regression.yml
  • Pre-commit hooks passed
  • Live base-only edit retriggers regression after this workflow lands
  • Unit tests added/updated (not applicable: workflow-only change)
  • Manual testing performed (live event validation follows merge)
  • Documentation updated (not applicable)

Copy link
Copy Markdown
Collaborator Author

This stack of pull requests is managed by Graphite. Learn more about stacking.

@miguel-heygen
miguel-heygen marked this pull request as ready for review July 20, 2026 02:51
@miguel-heygen miguel-heygen changed the title ci: rerun regression checks after PR base edits ci(regression): trigger on PR edited events for Graphite base changes Jul 20, 2026
@miguel-heygen
miguel-heygen merged commit 6b4df03 into main Jul 20, 2026
49 checks passed
@miguel-heygen
miguel-heygen deleted the codex/studio-timeline-wave0-regression-edited branch July 20, 2026 12:47
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.

1 participant