Add GitHub Actions workflow dispatch ("run workflow" button) (#1639)

Abjad · Jan 28, 2025 · ba4d52a · ba4d52a
1 parent 1c79c6b
commit ba4d52a
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -5,6 +5,7 @@ on:
     branches: [ main ]
   pull_request:
     branches: [ main ]
+  workflow_dispatch:
 
 jobs:
   ci-tests: