Merge pull request #204: Actions: use workflow_dispatch for manually …

…running workflows See [1] for more information. [1] https://github.blog/changelog/2020-07-06-github-actions-manual-triggers-with-workflow_dispatch/
git-ecosystem · Oct 30, 2020 · b3966f5 · b3966f5
2 parents 96c52e4 + e483a98
commit b3966f5
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 0 deletions.
diff --git a/.github/workflows/build-installers.yml b/.github/workflows/build-installers.yml
@@ -1,6 +1,7 @@
 name: Build-Installers
 
 on:
+  workflow_dispatch:
   push:
     branches: [ master, release ]
   pull_request:

diff --git a/.github/workflows/build-signed-deb.yml b/.github/workflows/build-signed-deb.yml
@@ -1,6 +1,7 @@
 name: "Build Signed Debian Installer"
 
 on:
+  workflow_dispatch:
   release:
     types: [released]
 

diff --git a/.github/workflows/continuous-integration.yml b/.github/workflows/continuous-integration.yml
@@ -1,6 +1,7 @@
 name: GCM-Core
 
 on:
+  workflow_dispatch:
   push:
     branches: [ master, linux ]
   pull_request: