From 3a8db3fd9fc098f995092bc692853a2cb24fe451 Mon Sep 17 00:00:00 2001
From: bernat <bernatx@gmail.com>
Date: Wed, 23 Sep 2020 10:50:13 +0200
Subject: [PATCH] Adding nightly build on dev branch also

---
 Jenkinsfile | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

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