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: