Skip to content

Reuse failed merge queue workflows - #5815

Open
joshua-spacetime wants to merge 1 commit into
masterfrom
joshua/rerun-failed-merge-queue-workflows
Open

Reuse failed merge queue workflows#5815
joshua-spacetime wants to merge 1 commit into
masterfrom
joshua/rerun-failed-merge-queue-workflows

Conversation

@joshua-spacetime

@joshua-spacetime joshua-spacetime commented Aug 25, 2026

Copy link
Copy Markdown
Collaborator

Description of Changes

If a PR fails in the merge queue because of a flake, it should only have to rerun the failed job(s) when re-submitted to the queue. Unless of course another PR jumps in front of it.

Concretely, a PR can only reuse an existing merge queue workflow if it has the same git tree. This means that if A is in the merge queue followed by B, but B fails and A merges, B will be able to pick up where it left off as long as nothing else jumps in front of it in the merge queue.

API and ABI breaking changes

None

Expected complexity level and risk

2

Testing

N/A

@joshua-spacetime
joshua-spacetime force-pushed the joshua/rerun-failed-merge-queue-workflows branch from 5d677d3 to 04baf3e Compare August 25, 2026 22:40
@joshua-spacetime
joshua-spacetime force-pushed the joshua/rerun-failed-merge-queue-workflows branch from 04baf3e to 0946489 Compare August 25, 2026 22:45
@joshua-spacetime
joshua-spacetime marked this pull request as ready for review August 25, 2026 22:45
@joshua-spacetime joshua-spacetime changed the title Re-use failed merge queue workflows Reuse failed merge queue workflows Aug 25, 2026
@joshua-spacetime joshua-spacetime self-assigned this Aug 25, 2026
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