Adding Merge Queue Support

[ericspod]

Fixes #8990.

Description

This modifies the actions to permit running in merge queues. This is something which could be used to accelerate PR integration and automate updating PR branches when other PRs merge into dev. This should be discussed in the issue before merging.

Types of changes

• Non-breaking change (fix or new feature that would not break existing functionality).
• Breaking change (fix or new feature that would cause existing functionality to change).
• New tests added to cover the changes.
• Integration tests passed locally by running ./runtests.sh -f -u --net --coverage.
• Quick tests passed locally by running ./runtests.sh --quick --unittests --disttests.
• In-line docstrings updated.
• Documentation updated, tested make html command in the docs/ folder.

[coderabbitai]

📝 Walkthrough

Walkthrough

The build documentation, CI tests, and CodeQL workflows now trigger on GitHub merge_group events with the checks_requested type. Existing workflow triggers and job configurations remain unchanged.

Estimated code review effort: 1 (Trivial) | ~3 minutes

🚥 Pre-merge checks | ✅ 5

✅ Passed checks (5 passed)

Check name	Status	Explanation
Linked Issues check	✅ Passed	The workflow updates satisfy #8990 by enabling merge_group checks for merge queues.
Out of Scope Changes check	✅ Passed	The changes stay within the merge-queue workflow trigger updates and add no unrelated scope.
Docstring Coverage	✅ Passed	No functions found in the changed files to evaluate docstring coverage. Skipping docstring coverage check.
Title check	✅ Passed	The title is concise and clearly summarizes the main change: adding merge queue support.
Description check	✅ Passed	The description matches the template with a fix reference, summary, and filled change-type checklist.

✨ Finishing Touches

🧪 Generate unit tests (beta)

• Create PR with unit tests

---

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

• X
• Mastodon
• Reddit
• LinkedIn

_{Comment @coderabbitai help to get the list of available commands.}