Allow docker push from workflow dispatch in CI

Author: marip8

.github/workflows/docker.yml

@@ -11,6 +11,7 @@ on:
   release:
     types:
       - released
+  workflow_dispatch:
 
 jobs:
   ci:
@@ -31,7 +32,7 @@ jobs:
     env:
       REGISTRY: ghcr.io
       IMAGE_NAME: ${{ github.repository }}
-      PUSH_DOCKER_IMAGE: ${{ github.ref == 'refs/heads/master' || github.event_name == 'release' }}
+      PUSH_DOCKER_IMAGE: ${{ github.ref == 'refs/heads/master' || github.event_name == 'release' || github.event_name == 'workflow_dispatch' }}
     permissions:
       contents: read
       packages: write