Travis CI: build & publish Docker image 💚

.dockerignore

@@ -1,3 +1,4 @@
 /build
 
 /Dockerfile
+/push-docker-image.sh

.travis.yml

@@ -26,6 +26,13 @@ before_script:
 script:
   - make -j4
   - ctest --verbose
+  - docker build -t ad-freiburg/pfaedle .
+
+deploy:
+  on:
+    branch: master
+  provider: script
+  script: bash push-docker-image.sh
 
 notifications:
   email:

push-docker-image.sh

@@ -0,0 +1,6 @@
+#!/bin/sh
+set -ex
+set -o pipefail
+
+echo "$DOCKER_PASSWORD" | docker login -u "$DOCKER_USERNAME" --password-stdin
+docker push ad-freiburg/pfaedle