Skip to content

Conversation

@emizzle
Copy link
Contributor

@emizzle emizzle commented Nov 1, 2025

Currently the pr-title status check is required for any PR to be merged (defined in the repo settings). This status is not being reported in the merge queue workflow (Nim-matrix), which is preventing any PRs from being merged by the merge queue. By moving the pr-title job to its own workflow, we can add the merge_group: event trigger, which should report a status check automatically.

Attempt to satisfy required pr-title check by copying the job into the merge queue group
Allows merge_group to be applied to this job only, instead of all the jobs in the CI workflow
@emizzle emizzle enabled auto-merge November 1, 2025 10:16
embed job name under jobs section
@github-actions github-actions bot added the fix label Nov 2, 2025
@emizzle emizzle requested a review from munna0908 November 2, 2025 04:00
@emizzle emizzle added this pull request to the merge queue Nov 2, 2025
Merged via the queue into master with commit 7aca2f0 Nov 2, 2025
22 checks passed
@emizzle emizzle deleted the ci/dup-pr-title-job-for-merge-queue branch November 2, 2025 04:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants