GitHub Actions: on workflow_dispatch

cclauss · aaronliu0130 · commit 99f2940e8cac · 2025-04-06T11:39:25.000-04:00
* #358 (comment)
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -5,6 +5,7 @@ on:
   push:
     # paths-ignore: "*.rst"
     branches: [master, develop]
+  workflow_dispatch:
 concurrency:
   group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
   cancel-in-progress: true
