Merge branch 'main' into release

Trigger build on tag.

.github/workflows/build.yaml

@@ -5,6 +5,8 @@ on:
     branches:
       - main
       - release
+    tags:
+      - '**'
   pull_request:
 
 jobs:
@@ -106,6 +108,9 @@ jobs:
               if git diff --name-only origin/${{ github.base_ref }}...HEAD | grep -E '^Dockerfile'; then
                 echo "Dockerfile or related files changed; building container."
                 build_needed=true
+              else
+                echo "No changes to Dockerfile; using container from base branch."
+                tag="${{ github.base_ref }}"
               fi
             fi
           fi