ci: trigger on merge_group for GitHub merge queue #139

Merged
JMR-dev merged 1 commits from ci-merge-queue-trigger into main 2026-07-02 15:21:53 +00:00
1 Commits
Author SHA1 Message Date
JMR-devandClaude Fable 5 c84b0605cf ci: trigger on merge_group so the GitHub merge queue can gate PRs
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
2026-07-02 10:21:47 -05:00