ci: docker

.github/workflows/container.yml

@@ -0,0 +1,24 @@
+name: container
+# GitHub Action CI
+
+on:
+  - pull_request
+
+jobs:
+  build:
+    name: "Build"
+
+    runs-on: ubuntu-latest
+
+    env:
+      DOCKER_IMAGE: commoditystream/tla
+
+    steps:
+      - name: "Checkout"
+        uses: actions/checkout@v2
+
+      - name: "Build Docker image"
+        run: $(which docker) build --tag ${DOCKER_IMAGE}:latest .
+
+      - name: "Run Docker image"
+        run: $(which docker) run --interactive --rm --workdir=/app --volume ${GITHUB_WORKSPACE}:/app ${DOCKER_IMAGE}:latest

Dockerfile

@@ -0,0 +1,21 @@
+FROM openjdk:11
+RUN apt-get update && apt-get install -y  \
+    build-essential libz-dev wget unzip ocaml-nox git ocaml-native-compilers --no-install-recommends
+
+WORKDIR /tmp
+
+RUN mkdir -p /opt/tlaplus/lib && mkdir -p /opt/tlaplus/module
+RUN wget https://tla.msr-inria.inria.fr/tlatoolbox/ci/dist/tla2tools.jar && \
+    mv tla2tools.jar /opt/tlaplus/lib/tla2tools.jar
+#ADD target/tlaplus-monitor-0.1-jar-with-dependencies.jar /opt/tlaplus/lib
+RUN echo "log4j.logger.org.apache.kafka=OFF" > /opt/tlaplus/lib/log4j.properties
+
+ADD src/main/resources/modules/JsonUtils.tla /opt/tlaplus/module
+ADD src/main/resources/modules/KafkaUtils.tla /opt/tlaplus/module
+
+ADD bin/tlc /usr/local/bin/tlc
+
+
+WORKDIR /root
+
+ENTRYPOINT ["tlc"]