From b0a723fce0b34c74b658a7f16083181a50a4665c Mon Sep 17 00:00:00 2001
From: Joseph Mearman <joseph@mearman.co.uk>
Date: Sun, 13 Sep 2026 07:55:49 +0100
Subject: [PATCH] ci: allow manually dispatching the CI workflow

Lets a run be triggered directly from the Actions tab or gh workflow run, independent of a push or pull_request event -- useful for confirming Actions itself is responsive when a push has stopped producing any run at all.
---
 .github/workflows/ci.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index fa6169b..65c348e 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -4,6 +4,7 @@ on:
   push:
     branches: [main]
   pull_request:
+  workflow_dispatch:
 
 concurrency:
   group: ci-${{ github.workflow }}-${{ github.ref }}