Run CI job in merge queues

Signed-off-by: Andrea Frittoli <[email protected]>
cdevents · May 1, 2024 · 7dd5249 · 7dd5249
1 parent b669757
commit 7dd5249
Show file tree

Hide file tree

Showing 2 changed files with 15 additions and 4 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -3,11 +3,12 @@ name: CI
 on:
   pull_request:
     types:
-      - "opened"
-      - "synchronize"
+      - opened
+      - synchronize
     paths-ignore:
-      - "README.md"
-      - ".gitignore"
+      - README.md
+      - .gitignore
+  merge_group:
 
 jobs:
   lint:

diff --git a/.github/workflows/dco_merge_group.yaml b/.github/workflows/dco_merge_group.yaml
@@ -0,0 +1,10 @@
+name: DCO
+on:
+  merge_group:
+
+jobs:
+  DCO:
+    runs-on: ubuntu-latest
+    if: ${{ github.actor != 'dependabot[bot]' }}
+    steps:
+      - run: echo "dummy DCO workflow (it won't run any check actually) to trigger by merge_group in order to enable merge queue"