From b871d873c6581d11887bf56a4b7e311e000e9b4d Mon Sep 17 00:00:00 2001
From: John Livingston <git@john-livingston.fr>
Date: Tue, 8 Oct 2024 17:28:30 +0200
Subject: [PATCH] Better github CI configuration.

---
 .github/workflows/gh-build.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/gh-build.yml b/.github/workflows/gh-build.yml
index f72cfa5e..87f4eee0 100644
--- a/.github/workflows/gh-build.yml
+++ b/.github/workflows/gh-build.yml
@@ -9,7 +9,7 @@ on:
     branches:
       - main
   pull_request:
-    types: [opened, reopened]
+    types: [assigned, opened, synchronize, reopened]
 
 jobs:
   build: