Docker Base Image Begin

.gitea/workflows/docker-build.yml

@@ -0,0 +1,27 @@
+name: Build and push Docker image in git push
+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: Build the images
+      run: bash ./build-images.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
+