From f949572b1849cc957b22e088e186c3c55d59953d Mon Sep 17 00:00:00 2001
From: mheyen <malte.heyen@posteo.de>
Date: Tue, 4 Aug 2026 16:55:30 +0200
Subject: [PATCH] ci: allow manual re-run of ui publish workflow

Adds workflow_dispatch so a GitHub Release asset can be backfilled for
tags cut before the GitHub migration (ui/v0.1.0..v0.3.0 all predate
publish.yml and have no Release asset yet). Run manually from the
Actions tab, picking the target tag under "Use workflow from".
---
 .github/workflows/publish.yml | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/.github/workflows/publish.yml b/.github/workflows/publish.yml
index 1305318..9ec05eb 100644
--- a/.github/workflows/publish.yml
+++ b/.github/workflows/publish.yml
@@ -12,6 +12,11 @@ on:
   push:
     tags:
       - "ui/v*"
+  workflow_dispatch:
+    inputs:
+      ref:
+        description: "Bestehender Tag, für den nachträglich ein Release-Asset erzeugt werden soll (z. B. ui/v0.2.1) — als 'Use workflow from' auswählen, dieses Feld ist nur zur Doku"
+        required: false
 
 permissions:
   contents: write