build: use the new merge_group selector for the merge queue
In this commit, we activate the merge queue by using the new merge_group selector. Without this, the CI won't report back the progress of a CI run to the merge queue, so things won't get auto merged.
This commit is contained in:
1 file changed
+3
@@ -7,6 +7,9 @@ on:
|
|||||||
pull_request:
|
pull_request:
|
||||||
branches:
|
branches:
|
||||||
- "*"
|
- "*"
|
||||||
|
merge_queue:
|
||||||
|
branches:
|
||||||
|
- "master"
|
||||||
|
|
||||||
concurrency:
|
concurrency:
|
||||||
# Cancel any previous workflows if they are from a PR or push.
|
# Cancel any previous workflows if they are from a PR or push.
|
||||||
|
|||||||
Reference in new issue
Block a user