CI: Enable missing CI tests for Github merge queue

This commit is contained in:
Michael Eischer committed 2023-07-08 23:51:39 +02:00
1 parent 41395e83c5
commit 8a120c8800
1 file changed
+1
+1
View File
@@ -7,6 +7,7 @@ on:
# run tests for all pull requests
pull_request:
merge_group:
permissions:
contents: read