Run CI on merge queue

Kordyjan · Kordyjan · commit 5c69746d7714 · 2023-02-13T17:00:03.000+01:00
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -15,6 +15,7 @@ on:
     ## - or neither of them.
     ## But it's important to not have only one or the other.
   pull_request:
+  merge_group:
   schedule:
     - cron: '0 3 * * *'  # Every day at 3 AM
   workflow_dispatch:
