Skip to content

Run CI at merge decision and on direct default-branch pushes - #9

Merged
krystophny merged 1 commit into
mainfrom
selfci/queue-only-20261021
Oct 21, 2026
Merged

krystophny merged 1 commit into
mainfrom
selfci/queue-only-20261021

Conversation

@krystophny

@krystophny krystophny commented Oct 21, 2026 •

Copy link
Copy Markdown
Member

Skip ordinary PR jobs in the shared CI workflows before runner assignment. Preserve the required nested check name by gating the reusable leaf. Real CI runs for merge-group, explicit manual/full-ci requests and direct default-branch pushes; observed github-merge-queue[bot] pushes are excluded.

Verified: ordinary PR hygiene reported SKIPPED with no runner and entered the queue. A deliberately failing required merge-group hygiene job ran on the runner and blocked/ejected the PR; the default branch stayed unchanged. The temporary probe is removed from the final change. Actionlint passes; the unchanged checker has 11 passing behavioral/identity tests.

Chris&AI

@krystophny
krystophny marked this pull request as ready for review October 21, 2026 14:45
@krystophny
krystophny added this pull request to the merge queue Oct 21, 2026
@github-merge-queue
github-merge-queue Bot removed this pull request from the merge queue due to failed status checks Oct 21, 2026
@krystophny
krystophny force-pushed the selfci/queue-only-20261021 branch from b14ddb7 to e2c0ce5 Compare October 21, 2026 14:48
@krystophny
krystophny force-pushed the selfci/queue-only-20261021 branch from e2c0ce5 to 47e8ce9 Compare October 21, 2026 14:49
@krystophny
krystophny added this pull request to the merge queue Oct 21, 2026
Merged via the queue into main with commit dd4e7ef Oct 21, 2026
1 check passed
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