Allow to trigger workflow manually

tum-gis · Aug 6, 2023 · 927d31b · 927d31b
1 parent e57eb27
commit 927d31b
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml
@@ -1,6 +1,7 @@
 name: docker-build-edge
 
 on:
+  workflow_dispatch:
   push:
     branches:
       - main