From fa17ae2098a25254cd9d58c93c90d79498f1bdbe Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jean-Fran=C3=A7ois=20Milants?= <jf@codingfield.com>
Date: Sat, 9 Jul 2022 12:19:38 +0200
Subject: [PATCH] Add 'workflow_dispatch' in the workflow file for Docker image
 generation to allow manually starting the workflow.

---
 .github/workflows/docker.yml | 2 ++
 1 file changed, 2 insertions(+)

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: