ci: Enable merge_group for workflows (#22214)

Enable the `merge_group` for CI workflows so that they work with the
merge queue.

Release Notes:

- N/A
This commit is contained in:
Marshall Bowers authored and GitHub committed 2024-12-18 22:59:20 +00:00
1 parent 61859343dc
commit ac94cf9436
2 files changed
+2

No files matched your search

+1
View File
@@ -15,6 +15,7 @@ on:
paths-ignore:
- "docs/**/*"
- ".github/workflows/community_*"
merge_group:
concurrency:
# Allow only one workflow per any non-`main` branch.
+1
View File
@@ -7,6 +7,7 @@ on:
push:
branches:
- main
merge_group:
jobs:
check_formatting: