run workflow for merge queue

imolorhe · imolorhe · commit d820893c6588 · 2025-10-12T00:11:05.000+02:00
diff --git a/.github/workflows/pr-master.yml b/.github/workflows/pr-master.yml
@@ -5,6 +5,7 @@ on:
     branches:
       - master
   pull_request:
+  merge_group:
   workflow_dispatch:
 
 concurrency:
