diff options
| -rwxr-xr-x | .github/scripts/test_docker.sh | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/.github/scripts/test_docker.sh b/.github/scripts/test_docker.sh index 8a2132e5..56dccf34 100755 --- a/.github/scripts/test_docker.sh +++ b/.github/scripts/test_docker.sh @@ -12,8 +12,16 @@ 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" |