name: Build and push Docker images on git tags 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