Skip to content

ci: Add merge queue support#1477

Merged
Mrtenz merged 3 commits into
mainfrom
mrtenz/merge-queue
Apr 23, 2026
Merged

ci: Add merge queue support#1477
Mrtenz merged 3 commits into
mainfrom
mrtenz/merge-queue

Conversation

@Mrtenz
Copy link
Copy Markdown
Member

@Mrtenz Mrtenz commented Apr 22, 2026

This adds the merge_group trigger and adds some logic for skipping the merge queue if a pull request is up-to-date.


Note

Medium Risk
Changes CI orchestration for merge_group events and introduces conditional skipping logic; misconfiguration could inadvertently bypass required checks or affect merge/publish gating.

Overview
Adds merge_group as a workflow trigger and introduces a new check-skip-merge-queue job to determine whether merge-queue runs can be skipped when the PR is already up to date.

Updates check-workflows and build-lint-test to depend on this check and not run when skipping is allowed, and adjusts the final gate (all-jobs-pass) to treat the workflow as passed when either all jobs passed or the merge-queue skip condition is true (including renaming the completion output to passed).

Reviewed by Cursor Bugbot for commit 6479292. Bugbot is set up for automated code reviews on this repo. Configure here.

@Mrtenz Mrtenz requested a review from a team as a code owner April 22, 2026 10:47
@Mrtenz Mrtenz force-pushed the mrtenz/merge-queue branch from c4bced9 to 6479292 Compare April 23, 2026 08:41
@Mrtenz Mrtenz merged commit 6e433b9 into main Apr 23, 2026
23 checks passed
@Mrtenz Mrtenz deleted the mrtenz/merge-queue branch April 23, 2026 08:51
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.

3 participants