diff --git a/Jenkinsfile b/Jenkinsfile index a4ea1dc..a8231cf 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -135,6 +135,7 @@ pipeline { sh "mvn -P windows,linux,osx,wintab -Dmaven.antrun.skip -Dmaven.test.skip -DskipTests -DskipITs deploy" sh "mvn -P windows,linux,osx,wintab,release versions:set -DnextSnapshot" sh "git commit -m 'Next development release' ." + sh "git push" } } }