Allow to manually trigger building docker images

.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'

.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'

.github/workflows/docker.yml

@@ -2,6 +2,7 @@
 name: Build and push production Docker images
 
 on:
+  workflow_dispatch:
   push:
     branches:
       - master