diff --git a/Jenkinsfile b/Jenkinsfile index 8cac3b20..874e57d1 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -96,7 +96,7 @@ pipeline { steps { script { catchError { - sh 'cd ./out/build && ctest && cd ../../..' + sh 'cd ./out/build && ctest --output-junit ./Testing/testRes.xml && cd ../../..' } } }