Merge pull request #36 from jenkins-infra/dduportal-patch-1

chore(Jenkinsfile) enable CD
jenkins-infra · Jul 4, 2023 · 782de0d · 782de0d
2 parents a91bf56 + 70fc425
commit 782de0d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -1,5 +1,5 @@
 if (JENKINS_URL.contains('infra.ci.jenkins.io')) {
-  buildDockerAndPublishImage('incrementals-publisher')
+  buildDockerAndPublishImage('incrementals-publisher', [automaticSemanticVersioning: true])
   return
 }