From f1083657639ffbf1858f497157c3a76d3217e507 Mon Sep 17 00:00:00 2001
From: Jirka <jirka.borovec@seznam.cz>
Date: Mon, 11 Sep 2023 14:59:01 +0200
Subject: [PATCH] ci: build dockers with `workflow_dispatch`

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

diff --git a/.github/workflows/docker-build.yml b/.github/workflows/docker-build.yml
index 3a417792484..9c48aa36f3f 100644
--- a/.github/workflows/docker-build.yml
+++ b/.github/workflows/docker-build.yml
@@ -12,13 +12,14 @@ on: # Trigger the workflow on push or pull request, but only for the master bran
       - "requirements.txt"
       - ".github/workflows/*docker*.yml"
       - "setup.py"
+  workflow_dispatch: {}
 
 concurrency:
   group: ${{ github.workflow }}-${{ github.ref }}-${{ github.head_ref }}
   cancel-in-progress: ${{ github.ref != 'refs/heads/master' }}
 
 env:
-  PUSH_RELEASE: ${{ github.ref == 'refs/heads/master' }}
+  PUSH_RELEASE: ${{ github.ref == 'refs/heads/master' || github.event_name == 'workflow_dispatch' }}
 
 jobs:
   build-Devcontainer: