CI: allow triggering Docker deploy manually

OCR-D · Aug 18, 2023 · 9ff2580 · 9ff2580
1 parent 041fc6d
commit 9ff2580
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/docker-image.yml b/.github/workflows/docker-image.yml
@@ -1,6 +1,7 @@
 name: Docker Image CI
 
 on:
+  workflow_dispatch:
   push:
     branches: [ "master" ]