From 51f89154c049a7080394fefcc884baddc8127dc4 Mon Sep 17 00:00:00 2001
From: Roland Geider <roland@geider.net>
Date: Mon, 7 Aug 2023 16:19:50 +0200
Subject: [PATCH] Allow to manually trigger building docker images

---
 .github/workflows/docker-base.yml | 3 ++-
 .github/workflows/docker-demo.yml | 1 +
 .github/workflows/docker.yml      | 1 +
 3 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/docker-base.yml b/.github/workflows/docker-base.yml
index 97dda0df2..70387f519 100644
--- a/.github/workflows/docker-base.yml
+++ b/.github/workflows/docker-base.yml
@@ -3,9 +3,10 @@ name: Build and push base Docker images
 # Only build when the dockerfile has changed, otherwise scheduled on the first
 # of each month
 on:
+  workflow_dispatch:
   push:
     branches:
-      '- "master"'
+      - master
     paths:
       - 'extras/docker/base/Dockerfile'
       - '.github/workflows/docker-base.yml'
diff --git a/.github/workflows/docker-demo.yml b/.github/workflows/docker-demo.yml
index e5352c01a..8d83a11f5 100644
--- a/.github/workflows/docker-demo.yml
+++ b/.github/workflows/docker-demo.yml
@@ -4,6 +4,7 @@ name: Build and push demo Docker image
 # (on the 1st and 15th every month) since it's not so important to keep this image
 # exactly in sync with master
 on:
+  workflow_dispatch:
   push:
     branches:
       - 'master'
diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml
index a1cfd4cfc..2f00016df 100644
--- a/.github/workflows/docker.yml
+++ b/.github/workflows/docker.yml
@@ -2,6 +2,7 @@
 name: Build and push production Docker images
 
 on:
+  workflow_dispatch:
   push:
     branches:
       - master