GitHub CI, add workflow_dispatch, to allow manual runs

albertz · albertz · commit 47884c96a02e · 2021-09-01T16:12:52.000+02:00
https://docs.github.com/en/actions/managing-workflow-runs/manually-running-a-workflow
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -3,6 +3,7 @@ name: CI
 on:
   push:
   pull_request:
+  workflow_dispatch:
 
 jobs:
   test:
