ci: push microservices on tag

Signed-off-by: Quentin Guidée <[email protected]>

.github/workflows/server.yml

@@ -139,7 +139,7 @@ jobs:
       - name: Build and push
         uses: docker/build-push-action@v5
         with:
-          push: ${{ github.ref == 'refs/heads/main' }}
+          push: ${{ github.ref == 'refs/heads/main' || startsWith(github.ref, 'refs/tags/v') }}
           context: server
           file: server/docker/micro.Dockerfile
           tags: ${{ steps.meta.outputs.tags }}
@@ -189,6 +189,7 @@ jobs:
         run: |
           IMAGES="vertex-bundle vertex-bundle-kernel vertex-admin vertex-auth vertex-containers vertex-containers-kernel vertex-logs vertex-monitoring vertex-reverseproxy vertex-sql vertex-tunnels"
           for IMAGE in $IMAGES; do
+            echo "Promoting $IMAGE:${{ format('{0}', github.ref_name) }} to latest"
             docker pull ghcr.io/${{ github.repository_owner }}/"$IMAGE":${{ format('{0}', github.ref_name) }}
             docker tag ghcr.io/${{ github.repository_owner }}/"$IMAGE":${{ format('{0}', github.ref_name) }} ghcr.io/${{ github.repository_owner }}/"$IMAGE":latest
             docker push ghcr.io/${{ github.repository_owner }}/"$IMAGE":latest