Update docker CI so it can be triggered

tesseract-robotics · Sep 19, 2024 · 464aeba · 464aeba
1 parent 116af58
commit 464aeba
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml
@@ -11,7 +11,9 @@ on:
   release:
     types:
       - released
-
+  # allow manually starting this workflow
+  workflow_dispatch:
+
 jobs:
   ci:
     name: ${{ matrix.distro }}