diff options
Diffstat (limited to 'build-aux/Jenkinsfile.full')
| -rw-r--r-- | build-aux/Jenkinsfile.full | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build-aux/Jenkinsfile.full b/build-aux/Jenkinsfile.full index 26cec87e4..54248cc37 100644 --- a/build-aux/Jenkinsfile.full +++ b/build-aux/Jenkinsfile.full @@ -381,7 +381,7 @@ pipeline { stage('Publish') { when { - expression { return env.BRANCH_NAME ==~ /main|2.*.x|3.*.x|4.*.x|jenkins-.*/ } + expression { return env.BRANCH_NAME ==~ /fdbmain|main|2.*.x|3.*.x|4.*.x|jenkins-.*/ } } agent { |