Set CI to run the same in the merge queue as it does in CI (#6249)

2026-07-15 19:10:47 +02:00 · 2026-04-28 14:13:55 +01:00
parent 8daee7303d
commit 5116e6ec43
6 changed files with 15 additions and 1 deletions
@@ -7,6 +7,9 @@ on:
  pull_request:
    branches:
      - main
+  merge_group:
+    branches:
+      - main

 concurrency:
  group: ${{ github.workflow }}-${{ github.event_name }}-${{ github.ref_name || github.ref }}