add workflow_dispatch for manual deployment

simplerisk · Oct 9, 2023 · 0a46f7c · 0a46f7c
1 parent 24c8928
commit 0a46f7c
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/.github/workflows/simplerisk-jammy-push_to_github.yml b/.github/workflows/simplerisk-jammy-push_to_github.yml
@@ -6,6 +6,7 @@ name: Docker
 # documentation.
 
 on:
+  workflow_dispatch:
   push:
     branches: [ "master" ]
     # Publish semver tags as releases.

diff --git a/.github/workflows/simplerisk-minimal-php81-push_to_github.yml b/.github/workflows/simplerisk-minimal-php81-push_to_github.yml
@@ -6,6 +6,7 @@ name: Docker
 # documentation.
 
 on:
+  workflow_dispatch:
   push:
     branches: [ "master" ]
     # Publish semver tags as releases.