ci: Skip merge queue if pull request is up-to-date #3786
Merged
+23
−3
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This adds a new action which determines whether a pull request in the merge queue is up-to-date, meaning:
main.In this case, all status checks have already passed on the branch, and running in the merge queue would be redundant, meaning we can skip the merge queue checks.
Note
Adds a job to detect up-to-date PRs in merge groups and conditionally skip subsequent checks, adjusting dependencies and final pass gating accordingly.
.github/workflows/main.yml)check-skip-merge-queueto detect up-to-date PRs duringmerge_groupusingMetaMask/github-tools/.../check-skip-merge-queue@v1.check-workflowsnowneeds: check-skip-merge-queueand is skipped inmerge_groupwhenskip-merge-queueistrue.all-jobs-passnow depends on bothall-jobs-completeandcheck-skip-merge-queue, passing if either all jobs passed orskip-merge-queueistrue.merge_groupfor the new job; propagateskip-merge-queuevia job outputs.Written by Cursor Bugbot for commit 390987f. This will update automatically on new commits. Configure here.