Commit 5d1025e
committed
Also run conflict detection job on merge queues
Merge queues also require CI jobs to succeed, but they don't get
triggered by the `pull_request` trigger:
https://docs.github.com/en/repositories/configuring-branches-and-merges-in-your-repository/configuring-pull-request-merges/managing-a-merge-queue#triggering-merge-group-checks-with-github-actions
Our other GitHub Actions workflows appear to also have `push` as
a trigger, and therefore do not need this change.1 parent 93c79ff commit 5d1025e
1 file changed
+2
-0
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
5 | 5 | | |
6 | 6 | | |
7 | 7 | | |
| 8 | + | |
| 9 | + | |
8 | 10 | | |
9 | 11 | | |
10 | 12 | | |
| |||
0 commit comments