ci: add workflow dispatch

MilesCranmer · Nov 28, 2024 · c95c406 · c95c406
1 parent 1161293
commit c95c406
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
@@ -11,6 +11,7 @@ on:
       - master
     paths:
       - "**"
+  workflow_dispatch:
 concurrency:
   # Skip intermediate builds: always.
   # Cancel intermediate builds: only if it is a pull request build.