ci: allow dispatching the gate set, a replaced runner pod kills the job it holds

2026-08-14 02:34:06 +02:00
1 changed files with 6 additions and 0 deletions
@@ -9,6 +9,12 @@ on:
    branches: [master]
  pull_request:
    branches: [master]
+  # A runner pod replaced mid-job kills the job it is running: the step's log
+  # stops dead, no epilogue is written, and Gitea marks the orphan failed.
+  # Nothing in the tree is wrong when that happens and nothing in the tree can
+  # fix it, so the gate set must be re-runnable without an empty commit. This
+  # adds a trigger, not a check — the job list below stays the gate set alone.
+  workflow_dispatch:

 jobs:
  gates: