From 18ed78150424910d503b354b7e89da7a84e129ab Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David--Cl=C3=A9ris=20Timoth=C3=A9e?=
 <timothee.davidcleris@proton.me>
Date: Wed, 5 Aug 2026 11:28:32 +0200
Subject: [PATCH] Add merge_group trigger to pull request workflow

---
 .github/workflows/on_pr.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/on_pr.yml b/.github/workflows/on_pr.yml
index 2ba2627..5d190b9 100644
--- a/.github/workflows/on_pr.yml
+++ b/.github/workflows/on_pr.yml
@@ -3,6 +3,7 @@ name: on PR
 # Controls when the workflow will run
 on:
   pull_request:
+  merge_group:
 
 jobs:
   build1: