Merge pull request #6847 from heinrich5991/pr_ddnet_merge_queue

Enable GitHub merge queue
This commit is contained in:
heinrich5991 2023-07-14 09:50:07 +00:00 committed by GitHub
commit ed3f0a6cfb
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
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: