Merge branch 'feature/github_actions'

1 files changed, 27 insertions, 0 deletions

diff --git a/.github/scripts/test_docker.sh b/.github/scripts/test_docker.sh
new file mode 100755
index 00000000..56dccf34
--- /dev/null
+++ b/.github/scripts/test_docker.sh
@@ -0,0 +1,27 @@
+#!/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 .
+
+echo "Creating output directory"
+
+mkdir -p ${GITHUB_WORKSPACE}/analysis/output
+
+echo "Recreating results and checking for differences"
+
+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"
+
+echo "Test building the virtual environments"
+
+docker run alan-turing-institute/tcpdbench /bin/bash -c "make venvs"