Add Docker for CI and a workflow to build and publish

.github/workflows/docker-publish.yml

@@ -0,0 +1,43 @@
+name: Docker
+
+# This workflow uses actions that are not certified by GitHub.
+# They are provided by a third-party and are governed by
+# separate terms of service, privacy policy, and support
+# documentation.
+
+on:
+  push:
+    branches: [ "master", "main" ]
+    paths:
+      - 'docker/sigma-ci/Dockerfile'
+  pull_request:
+    branches: [ "master", "main" ]
+    paths:
+      - 'docker/sigma-ci/Dockerfile'
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v3
+
+      - name: Login to Docker Hub
+        if: github.event_name == 'push'
+        uses: docker/login-action@v2
+        with:
+          username: ${{ secrets.DOCKERHUB_USERNAME }}
+          password: ${{ secrets.DOCKERHUB_TOKEN }}
+
+      - name: Set up Docker Buildx
+        uses: docker/setup-buildx-action@v2
+
+      - name: Build and push
+        uses: docker/build-push-action@v4
+        with:
+          context: .
+          file: docker/sigma-ci/Dockerfile
+          push: ${{ github.event_name == 'push' }}
+          tags: ${{ secrets.DOCKERHUB_USERNAME }}/sigma-ci:latest
+          cache-from: type=gha
+          cache-to: type=gha,mode=max

docker/sigma-ci/Dockerfile

@@ -0,0 +1,30 @@
+FROM tomcat:9.0.73-jdk8-temurin-jammy as builder
+
+RUN apt update; \
+    apt-get install -y --no-install-recommends \
+            build-essential \
+    ; \
+    wget 'http://wwwlehre.dhbw-stuttgart.de/~sschulz/WORK/E_DOWNLOAD/V_2.6/E.tgz' &&\
+    tar xf E.tgz ; \
+    cd E ; \
+    ./configure && make ;\
+    cd .. ;\
+    wget 'http://wordnetcode.princeton.edu/3.0/WordNet-3.0.tar.gz' ; \
+    tar xf WordNet-3.0.tar.gz
+
+#################################################
+# runtime image.
+FROM tomcat:9.0.73-jdk8-temurin-jammy as runtime
+
+COPY --from=builder \
+    /usr/local/tomcat/E/PROVER/e_ltb_runner /usr/local/bin/e_ltb_runner
+
+COPY --from=builder \
+    /usr/local/tomcat/WordNet-3.0 /opt/WordNet-3.0
+
+RUN apt update; \
+    apt-get install -y --no-install-recommends \
+            ant \
+            ant-optional \
+            git \
+            graphviz