diff options
| author | Gertjan van den Burg <gertjanvandenburg@gmail.com> | 2021-01-26 18:58:04 +0000 |
|---|---|---|
| committer | Gertjan van den Burg <gertjanvandenburg@gmail.com> | 2021-01-26 18:58:04 +0000 |
| commit | dc915783fe77d331c21f5bfd61db76751d6328a2 (patch) | |
| tree | 23385e3f9d705b9c5bc72a31a56dcf0f175c7855 | |
| parent | remove container directive (diff) | |
| download | TCPDBench-dc915783fe77d331c21f5bfd61db76751d6328a2.tar.gz TCPDBench-dc915783fe77d331c21f5bfd61db76751d6328a2.zip | |
test building virtualenvs in docker
| -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" |