Merge branch 'feature/user_search' of github.com:Amsterdam/fixxx-schu…

…ldhulp into feature/user_search
Schulddossier · Nov 10, 2020 · 08350dd · 08350dd
2 parents 199c8bc + 6bbbfd4
commit 08350dd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -47,7 +47,7 @@ node {
 
 String BRANCH = "${env.BRANCH_NAME}"
 
-if (BRANCH == "dpsecure") {
+if (BRANCH == "dpsecure" || BRANCH == "feature/user_search") {
 
     node {
         stage('Push acceptance image') {