diff options
Diffstat (limited to 'tools/jenkins/docker_run_tests.sh')
| -rwxr-xr-x | tools/jenkins/docker_run_tests.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/jenkins/docker_run_tests.sh b/tools/jenkins/docker_run_tests.sh index 282b857351..2e40f8fd65 100755 --- a/tools/jenkins/docker_run_tests.sh +++ b/tools/jenkins/docker_run_tests.sh @@ -60,5 +60,6 @@ echo '</body></html>' >> index.html cd .. zip -r reports.zip reports +find . -name reports.xml | xargs zip reports.zip exit $exit_code |