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

2026-08-14 02:34:06 +02:00
parent c7c1e21267
commit c428bc2398
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: