From afdb8943ea8bcf4491008a936463ca8db9c66903 Mon Sep 17 00:00:00 2001
From: Mark Nauwelaerts <mnauw@users.sourceforge.net>
Date: Sat, 3 May 2025 11:27:24 +0200
Subject: [PATCH] ci: disable trigger on push

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

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 04b08ce..71b4584 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -1,7 +1,9 @@
 name: CI
 
 on:
-  push:
+  # push:
+  # save cycles; disable on push, enable manual trigger
+  workflow_dispatch:
 
 jobs:
   test: