diff --git a/Jenkinsfile b/Jenkinsfile index ca118ea15..dc96c0e37 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -71,10 +71,7 @@ pipeline { } stage('Publish documentation') { when { - anyOf { - branch 'master' - not { triggeredBy 'UpstreamCause' } - } + branch 'master' } agent { docker {