1 files changed, 19 insertions, 0 deletions
diff --git a/.github/scripts/test_docker.sh b/.github/scripts/test_docker.sh
new file mode 100755
index 00000000..8a2132e5
--- /dev/null
+++ b/.github/scripts/test_docker.sh
@@ -0,0 +1,19 @@
+#!/bin/bash
+#
+# Test TCPDBench build using Docker
+#
+# Author: G.J.J. van den Burg
+# Date: 2021-01-26
+#
+
+set -e -u -x -o pipefail
+
+echo "Building docker image"
+
+docker build -t alan-turing-institute/tcpdbench .
+
+mkdir -p ${GITHUB_WORKSPACE}/analysis/output
+
+docker run -v ${GITHUB_WORKSPACE}/analysis/output:/TCPDBench/analysis/output \
+	alan-turing-institute/tcpdbench \
+	/bin/bash -c "make clean && make results && git checkout ./analysis/output/rankplots/*.pdf && git diff --exit-code"