Update docker.yaml

Add workflow_dispatch, primarily for testing the docker build (normally it should only be run when a release is built)
cdot · Oct 14, 2023 · 3b4d2fa · 3b4d2fa
1 parent e8c9a62
commit 3b4d2fa
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.github/workflows/docker.yaml b/.github/workflows/docker.yaml
@@ -1,11 +1,13 @@
 name: Docker build of master
 
 # Run docker workflow whenever a new release is created
-
 on:
   release:
     types: [published]
 
+  # Allows you to run this workflow manually from the Actions tab
+  workflow_dispatch:
+
 env:
   # Container registry domain (Github packages)
   REGISTRY: ghcr.io