Merge pull request #7412 from Roasbeef/merge-queue-fix

build: use the new merge_group selector for the merge queue
This commit is contained in:
Oliver Gugger 2023-02-17 11:08:51 +01:00 committed by GitHub
commit 4d7ac82773
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -7,6 +7,9 @@ on:
pull_request:
branches:
- "*"
merge_queue:
branches:
- "master"
concurrency:
# Cancel any previous workflows if they are from a PR or push.