From 2b08f16dee7d00f33a601bda00e7888c09e3a742 Mon Sep 17 00:00:00 2001
From: MarcoIeni <11428655+MarcoIeni@users.noreply.github.com>
Date: Tue, 15 Jul 2025 12:53:03 +0200
Subject: [PATCH] ci: use a merge queue

---
 .github/workflows/ci.yml | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index cc08c20..267d827 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -2,10 +2,8 @@ name: CI
 
 on:
   workflow_dispatch:
-  push:
-    branches:
-      - "main"
   pull_request:
+  merge_group:
 
 permissions: {}