ci: build dev builds when merging to dev (#2010)

wireapp · Jul 26, 2023 · 087110b · 087110b
1 parent 476f61c
commit 087110b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -10,7 +10,7 @@ List<String> defineFlavor() {
     if (branchName == "main") {
         return ['Beta']
     } else if (branchName == "develop") {
-        return ['Staging']
+        return ['Staging', 'Dev']
     } else if (branchName == "prod") {
         return ['Prod']
     } else if (branchName == "internal") {