Enable GitHub merge queue

Run workflows for GitHub merge queue.

Fixes #6558.
This commit is contained in:
heinrich5991 2023-07-14 11:46:22 +02:00
parent f63ff6237b
commit 94f45d4689
6 changed files with 5 additions and 0 deletions

View file

@ -7,6 +7,7 @@ on:
- trying.tmp
- staging-squash-merge.tmp
pull_request:
merge_group:
jobs:
build-cmake:

View file

@ -8,6 +8,7 @@ on:
- trying.tmp
- staging-squash-merge.tmp
pull_request:
merge_group:
jobs:
check-clang-san:

View file

@ -8,6 +8,7 @@ on:
- trying.tmp
- staging-squash-merge.tmp
pull_request:
merge_group:
jobs:
check-clang-tidy:

View file

@ -7,6 +7,7 @@ on:
- trying.tmp
- staging-squash-merge.tmp
pull_request:
merge_group:
jobs:
rustdoc:

View file

@ -8,6 +8,7 @@ on:
- trying.tmp
- staging-squash-merge.tmp
pull_request:
merge_group:
jobs:
check-style: