Merge pull request #7414 from guggero/merge-queue-fix

github: fix merge group directive
This commit is contained in:
Oliver Gugger 2023-02-17 16:59:44 +01:00 committed by GitHub
commit 581e195bfe
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -7,7 +7,7 @@ on:
pull_request:
branches:
- "*"
merge_queue:
merge_group:
branches:
- "master"