From a8ccf8dcfd47f18974e29247dbf9cef99d236cf0 Mon Sep 17 00:00:00 2001 From: lua-stefan-kruger Date: Fri, 18 Sep 2026 14:39:08 +0100 Subject: [PATCH] ci(release-prod): allow workflow_dispatch as a manual fallback Co-Authored-By: Claude Fable 5.1 --- .github/workflows/release-prod.yml | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/.github/workflows/release-prod.yml b/.github/workflows/release-prod.yml index 5cf784f..e5dd17a 100644 --- a/.github/workflows/release-prod.yml +++ b/.github/workflows/release-prod.yml @@ -3,6 +3,10 @@ name: release-prod on: push: branches: [main] + # Manual re-run for the case a merge to main fires its push event late or not + # at all (2026-09-18: the 1.3.0 squash merge queued nothing for seven minutes). + # The existing tag check makes a dispatch on an already-released version a no-op. + workflow_dispatch: # Production release: every merge to `main` cuts a stable release. #