From bb3e482bc3e8e155cde001a06da06bb432c761b9 Mon Sep 17 00:00:00 2001 From: cproudlock Date: Thu, 27 Aug 2026 01:45:24 +0000 Subject: [PATCH] ci: allow manual dispatch Gitea exposes no rerun endpoint in its API, so retrying a run after a runner-side change otherwise requires pushing a commit that changes nothing. --- .gitea/workflows/ci.yml | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/.gitea/workflows/ci.yml b/.gitea/workflows/ci.yml index c0e5d2ac..f61345a6 100644 --- a/.gitea/workflows/ci.yml +++ b/.gitea/workflows/ci.yml @@ -24,6 +24,10 @@ name: CI on: push: pull_request: + # Lets a run be retried from the Actions page without inventing a commit. + # Gitea's API exposes no rerun endpoint, so without this the only way to + # re-test a runner-side change is to push something. + workflow_dispatch: jobs: backend: