diff options
author | Jean-François Milants <jf@codingfield.com> | 2022-07-09 12:19:38 +0200 |
---|---|---|
committer | Jean-François Milants <jf@codingfield.com> | 2022-07-09 12:19:38 +0200 |
commit | fa17ae2098a25254cd9d58c93c90d79498f1bdbe (patch) | |
tree | 3335ec94687bf5c887da0b5ff705e2ea66d67a62 /.github/workflows | |
parent | a9986e5351844f35c5b229759767f1d8ea246490 (diff) |
Add 'workflow_dispatch' in the workflow file for Docker image generation to allow manually starting the workflow.
Diffstat (limited to '.github/workflows')
-rw-r--r-- | .github/workflows/docker.yml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml index 9b2eda82..21617fe2 100644 --- a/.github/workflows/docker.yml +++ b/.github/workflows/docker.yml @@ -9,6 +9,8 @@ on: branches: [ develop ] paths: - 'docker/**' + # Allows you to run this workflow manually from the Actions tab + workflow_dispatch: jobs: build: |