Begin Management in Docker

.gitea/workflows/docker-build.yml

@@ -0,0 +1,38 @@
+name: Build and push Docker image at git tag
+on:
+  push:
+    tags:        
+      - '*'
+
+env:
+  IMAGE_REGISTRY: git.chai.uni-hamburg.de
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    steps:
+
+    - name: Get repository code
+      uses: actions/checkout@v4
+
+    - name: ARM64 add QEMU 
+      uses: docker/setup-qemu-action@v3
+      with:
+        platforms: arm64
+    - name: ARM64 setup Docker buildx 
+      uses: docker/setup-buildx-action@v3
+
+    - name: Build the Management
+      run: bash ./build-mgmt.sh -no-updates
+    #- name: Build the Agent
+    #  run: bash ./build-agent.sh -no-updates
+
+    - name: Docker login
+      uses: docker/login-action@v3
+      with:
+        registry: ${{ env.IMAGE_REGISTRY }}
+        username: ${{ secrets.REGISTRY_USERNAME }}
+        password: ${{ secrets.REGISTRY_TOKEN }}
+    - name: Push the images
+      run: bash ./push-images.sh
+