From b8093d707d9e40fc29e2a57598e913374f22ded5 Mon Sep 17 00:00:00 2001
From: Michal Tuszowski <michaltuszowski@Mac-mini-Michal.localdomain>
Date: Sat, 18 Jul 2026 13:51:26 +0200
Subject: [PATCH] ci: allow manual runs via workflow_dispatch

Lets CI be triggered on demand from the Actions tab or `gh workflow run`,
instead of pushing a commit just to exercise the pipeline.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
---
 .github/workflows/ci.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 923e678..ae90644 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -5,6 +5,9 @@ on:
     branches: ["main"]
   pull_request:
     branches: ["main"]
+  # Manual trigger: run CI on demand from the Actions tab (or `gh workflow run
+  # ci.yml --ref <branch>`) without pushing a commit just to see it go green.
+  workflow_dispatch:
 
 permissions:
   contents: read