ci: add Publish workflow

Also rename a shell script to have a more truthful name.

.github/workflows/publish.yml

@@ -0,0 +1,43 @@
+name: Publish
+
+on:
+  push:
+    tags:
+      - '**'
+  workflow_dispatch:
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+
+      - uses: actions/setup-java@v4
+        with:
+          distribution: temurin
+          java-version: 11
+
+      - name: Setup Gradle
+        uses: gradle/gradle-build-action@v2
+
+      - name: Execute Gradle build
+        run: ./gradlew build
+
+      # Add support for more platforms with QEMU (optional)
+      # https://github.com/docker/setup-qemu-action
+      - name: Set up QEMU
+        uses: docker/setup-qemu-action@v3
+
+      - name: Set up Docker Buildx
+        uses: docker/setup-buildx-action@v3
+        with:
+          platforms: linux/amd64,linux/arm64
+
+      - name: Login to Docker Hub
+        uses: docker/login-action@v3
+        with:
+          DOCKER_HUB_USER: ${{ secrets.DOCKER_HUB_USER }}
+          DOCKER_HUB_KEY: ${{ secrets.DOCKER_HUB_KEY }}
+
+      - name: Build and Publish Docker
+        run: ./docker-build-local-and-publish-on-ci-all.sh

docker-build-local-and-publish-on-ci-all.sh

@@ -0,0 +1,21 @@
+#!/bin/sh
+
+set -e
+set -x
+
+(
+ cd instances-manager
+ ./docker-build-local-and-publish-on-ci.sh
+)
+(
+ cd workspace-client
+ ./docker-build-local-and-publish-on-ci.sh
+)
+(
+ cd workspace-job
+ ./docker-build-local-and-publish-on-ci.sh
+)
+(
+ cd workspace-manager
+ ./docker-build-local-and-publish-on-ci.sh
+)