diff --git a/Jenkinsfile b/Jenkinsfile index 23dc54d9633a874d94db5746b31c9ec30e42e8b5..fc2b3562c15a3babf7bc3a5820e65ec8e162e6d7 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -105,15 +105,17 @@ pipeline { abort_previous() abortPreviousBuilds() } - pre_test() - sh''' - cd ${WKC}/tests - ./test-all.sh b1fq - ''' - sh''' - cd ${WKC}/debug - ctest - ''' + timeout(time: 45, unit: 'MINUTES'){ + pre_test() + sh''' + cd ${WKC}/tests + ./test-all.sh b1fq + ''' + sh''' + cd ${WKC}/debug + ctest + ''' + } } } }