DEVX-112: fix: build images after post-merge publish, not on push

.gitea/workflows/build-images.yml

@@ -5,7 +5,9 @@ name: Build Images
 # devx and all dependencies into the image.
 #
 # Triggers:
-# - On push to master (after post-merge release completes)
+# - After post-merge workflow completes successfully (workflow_run)
+#   This ensures images are only rebuilt AFTER the release is published
+#   to PyPI, so the image always has the latest released version.
 # - Manually via workflow_dispatch
 #
 # The workflow builds 3 tier images in sequence:
@@ -15,12 +17,10 @@ name: Build Images
 # After pushing, a cleanup job removes old versions (keeps last 2 + latest).
 
 on:
-  push:
+  workflow_run:
+    workflows: ["Post-merge"]
+    types: [completed]
     branches: [master]
-    paths:
-      - docker/**
-      - pyproject.toml
-      - src/devx/**
   workflow_dispatch:
 
 concurrency:
@@ -49,7 +49,11 @@ jobs:
 
   build-and-push:
     needs: [detect-type]
-    if: needs.detect-type.outputs.is-release == 'false'
+    if: >-
+      needs.detect-type.outputs.is-release == 'false' && (
+        github.event_name == 'workflow_dispatch' ||
+        (github.event_name == 'workflow_run' && github.event.workflow_run.conclusion == 'success')
+      )
     runs-on: docker
     timeout-minutes: 30
     steps: