diff --git a/Jenkinsfile b/Jenkinsfile index 80907cab7b3dd7b40c2f1166f2870db249e375b3..fb9a52fa3c4b95e0261b3f6df4fffb8063c63ceb 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -59,8 +59,6 @@ builders['docs'] = { parallel builders -node { step([$class: 'GitHubCommitStatusSetter']) } - if (currentBuild.result == "SUCCESS" || currentBuild.result == "UNSTABLE") { if (helper.isOriginMaster(this)) { build job: 'OGS-6/clang-sanitizer', wait: false