diff --git a/Jenkinsfile b/Jenkinsfile index d922949..0b6bd2c 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -29,7 +29,7 @@ pipeline { } stage('Test') { steps { - sh 'cd build && ctest -j `nproc --ignore=4`' + sh 'cd build && ctest --output-on-failure -j `nproc --ignore=4`' } } stage('Benchmark') {