Merge pull request #4402 from MichaelEischer/merge-queue-setup

CI: Enable missing CI tests for Github merge queue
This commit is contained in:
Michael Eischer
2023-07-09 13:57:10 +02:00
committed by GitHub

View File

@@ -7,6 +7,7 @@ on:
# run tests for all pull requests
pull_request:
merge_group:
permissions:
contents: read