Skip to content

ci: Enable merge queue support#283

Open
cgwalters wants to merge 1 commit into
mainfrom
ci/merge-queue
Open

ci: Enable merge queue support#283
cgwalters wants to merge 1 commit into
mainfrom
ci/merge-queue

Conversation

@cgwalters

@cgwalters cgwalters commented Jun 12, 2026

Copy link
Copy Markdown
Collaborator

Add the merge_group event trigger so CI runs when a pull request enters the GitHub merge queue. Also add a required-checks sentinel job that gates on all other jobs — this is the single status check name to configure in repository branch protection settings.

xref: bootc-dev/infra#143

Add the merge_group event trigger so CI runs when a pull request
enters the GitHub merge queue. Also align the required-checks sentinel
to use the standard jq-based pattern (success-or-skipped) so that
jobs which are intentionally skipped in some contexts don't
accidentally block the queue.

xref: bootc-dev/infra#143

Assisted-by: OpenCode (Claude Sonnet 4.6)
Signed-off-by: Colin Walters <walters@verbum.org>
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.

2 participants