From 59cce9836fe5eb5fa5c6973119b037d3048382d6 Mon Sep 17 00:00:00 2001
From: Erik Huelsmann <ehuels@gmail.com>
Date: Sat, 11 Nov 2023 16:28:44 +0100
Subject: [PATCH] Remove 'closed' PR trigger for CI builds

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

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 41cfa806a4..019b92ab97 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -16,7 +16,7 @@ on:
       - '*'
     paths-ignore:
       - '.circleci'
-    types: [opened, reopened, synchronize, closed]
+    types: [opened, reopened, synchronize]
 
   # Allows you to run this workflow manually from the Actions tab
   workflow_dispatch: