diff --git a/Jenkinsfile b/Jenkinsfile index 4d0a5ffa5..a2b190b1f 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -104,7 +104,16 @@ pipeline } } } - stage('ubuntu deploy') + stage('ubuntu deploy dev') + { + when { branch "dev"; } + steps + { + sh 'git checkout .' + sh 'make deploy ARGS="--replace-latest"' + } + } + stage('ubuntu deploy master') { when { anyOf { branch "master"; buildingTag() } } steps @@ -238,7 +247,7 @@ pipeline } stage('windows deploy') { - when { anyOf { branch "master"; buildingTag() } } + when { anyOf { branch "master"; branch "dev"; buildingTag() } } steps { bat """ call ../setEnv64.bat