ci: add workflow_dispatch trigger to CI workflow

Allows manual re-runs when GitHub-hosted runners are unresponsive.
2026-08-03 07:46:42 +02:00 · 2026-05-05 22:46:39 +08:00
parent 5e45cb292b
commit 563c420d86
1 changed files with 1 additions and 0 deletions
@@ -1,6 +1,7 @@
 name: CI

 on:
+  workflow_dispatch:
  push:
    branches: [main]
    paths-ignore: