Add workflow dispatch to ci workflow

laduke · laduke · commit 625c7c7bf62a · 2025-02-07T09:28:32.000-08:00
so we can manually trigger ci on PRs
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -5,6 +5,7 @@ on:
       - install.sh.in
       - .github/workflows/ci.yml
     # branches: [ main ]
+  workflow_dispatch:
   schedule:
     - cron: "0 0 * * 0"   # weekly
 jobs:
