From ddf694a71da53e39dc0b55aa25eb43039d35768b Mon Sep 17 00:00:00 2001
From: Frank Steffahn <fdsteffahn@gmail.com>
Date: Mon, 23 Jun 2025 00:55:48 +0200
Subject: [PATCH] Avoid need for re-opening PRs to check CI on updated merge
 ref

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

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 60d000985..6bb7da8de 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -2,6 +2,7 @@ name: CI
 
 on:
   pull_request:
+    types: [opened, synchronize, reopened, auto_merge_enabled]
   merge_group:
   workflow_dispatch:
   schedule: