From 12d948ef66c9631daf0375591648ede234de18d1 Mon Sep 17 00:00:00 2001
From: J3vb <192430104+J3vb@users.noreply.github.com>
Date: Thu, 30 Jul 2026 16:38:46 +0200
Subject: [PATCH] ci: allow CI to be triggered manually

Adds workflow_dispatch so CI can be re-run on demand without pushing a commit.
Actions runs again now that the repo is public (private minutes were exhausted
since 2026-07-24, which is why every job failed with zero steps).
---
 .github/workflows/ci.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 44dd9219..12155754 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -5,6 +5,7 @@ on:
     branches: [main]
   pull_request:
     branches: [main, dev]
+  workflow_dispatch:
 
 # Cancel in-progress runs for the same branch/PR
 concurrency: