Run Docker CI after PyPI publish or on manual dispatch

No longer triggers on every push/PR. Runs automatically after a
successful PyPI publish, or manually via workflow_dispatch.

Author: nicosuave

.github/workflows/docker.yml

@@ -1,38 +1,29 @@
 name: Docker
 
 on:
-  push:
-    branches: [main]
-    paths:
-      - 'Dockerfile'
-      - 'docker-entrypoint.sh'
-      - '.dockerignore'
-      - 'sidemantic/**'
-      - 'pyproject.toml'
-  pull_request:
-    paths:
-      - 'Dockerfile'
-      - 'docker-entrypoint.sh'
-      - '.dockerignore'
-      - 'sidemantic/**'
-      - 'pyproject.toml'
+  workflow_dispatch:
+  workflow_run:
+    workflows: ["Publish to PyPI"]
+    types: [completed]
 
 env:
   IMAGE: sidequery/sidemantic
 
 jobs:
   docker:
-    name: Docker build and test
+    name: Docker build, test, and push
     runs-on: ubuntu-latest
+    if: ${{ github.event_name == 'workflow_dispatch' || github.event.workflow_run.conclusion == 'success' }}
 
     steps:
       - uses: actions/checkout@v4
+        with:
+          ref: main
 
       - name: Set up Docker Buildx
         uses: docker/setup-buildx-action@v3
 
       - name: Login to Docker Hub
-        if: github.event_name == 'push' && github.ref == 'refs/heads/main'
         uses: docker/login-action@v3
         with:
           username: ${{ secrets.DOCKERHUB_USERNAME }}
@@ -90,7 +81,6 @@ jobs:
         run: docker stop sidemantic-test || true
 
       - name: Push to Docker Hub
-        if: github.event_name == 'push' && github.ref == 'refs/heads/main'
         uses: docker/build-push-action@v6
         with:
           context: .