diff --git a/Jenkinsfile b/Jenkinsfile index b7d3e649..c45f79e2 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -6,7 +6,7 @@ def documentationPlatform = "ubuntu-clang" def triqsBranch = env.CHANGE_TARGET ?: env.BRANCH_NAME def triqsProject = '/TRIQS/triqs/' + triqsBranch.replaceAll('/', '%2F') /* whether to publish the results (disabled for template project) */ -def publish = !env.BRANCH_NAME.startsWith("PR-") && projectName != "app4triqs" +def publish = !env.BRANCH_NAME.startsWith("PR-") properties([ disableConcurrentBuilds(),