From 9170087739eff918f4e6d34df58758ad07319732 Mon Sep 17 00:00:00 2001
From: Maarten van Diemen <1440089+maartenvandiemen@users.noreply.github.com>
Date: Mon, 24 Nov 2025 13:19:46 +0100
Subject: [PATCH 1/2] Update CI workflow to use manual trigger only

Removed automatic triggers for pull requests and pushes to main branch.
---
 .github/workflows/ci.yml | 7 +------
 1 file changed, 1 insertion(+), 6 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 7ef7f46..f5b1944 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -1,12 +1,7 @@
 name: Continuous Integration
 
 on:
-  pull_request:
-    branches:
-      - main
-  push:
-    branches:
-      - main
+  workflow_dispatch:
 
 permissions:
   contents: read

From 2d2f67ec425129af8a9aa6ee8de0ef59828890cf Mon Sep 17 00:00:00 2001
From: Maarten van Diemen <1440089+maartenvandiemen@users.noreply.github.com>
Date: Mon, 24 Nov 2025 13:22:20 +0100
Subject: [PATCH 2/2] Update CI workflow to trigger on pull requests and pushes

---
 .github/workflows/ci.yml | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index f5b1944..7ef7f46 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -1,7 +1,12 @@
 name: Continuous Integration
 
 on:
-  workflow_dispatch:
+  pull_request:
+    branches:
+      - main
+  push:
+    branches:
+      - main
 
 permissions:
   contents: read