Skip to content

Commit 9259445

Browse files
authored
Update GitHub workflows to work with merge queues (#461)
1 parent 439ffd5 commit 9259445

File tree

4 files changed

+4
-0
lines changed

4 files changed

+4
-0
lines changed

.github/workflows/ci.yml

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -4,6 +4,7 @@ name: CI
44

55
on:
66
workflow_dispatch:
7+
merge_group:
78
pull_request:
89
push:
910
branches:

.github/workflows/format.yml

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -4,6 +4,7 @@ name: Format
44

55
on:
66
workflow_dispatch:
7+
merge_group:
78
pull_request:
89
push:
910
branches:

.github/workflows/pull_request.yml

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,7 @@
22

33
name: PR
44
on:
5+
merge_group:
56
pull_request:
67
types: [opened, synchronize, reopened, ready_for_review, labeled, unlabeled]
78

CHANGELOG.md

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -13,6 +13,7 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
1313

1414
### Repository
1515

16+
- Update GitHub workflows to work with merge queues
1617
- Update GitHub workflow action versions: `actions/cache@v3`, `actions/checkout@v3`, `actions/setup-python@v4`, `thomaseizinger/create-pull-request`
1718
- Fix failing GitHub workflows (Clang-10)
1819
- Introduce pre-commit CI

0 commit comments

Comments
 (0)