CI: Add workflow_dispatch as manual trigger (#1711)

SaschaMann · web-flow · commit 6530a9c42e7b · 2020-10-17T04:50:49.000+02:00
This is useful for debugging CI or when working on a branch before opening a PR
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -5,6 +5,7 @@ on:
   push: 
     branches: 
       - master
+  workflow_dispatch:
 
 jobs:
   required-files:
