commit | 630ec068c58daeb45842cd8acaafca5cc2c3fd8c | [log] [tgz] |
---|---|---|
author | noname <nomail> | Thu Dec 03 17:34:16 2020 +0100 |
committer | noname <nomail> | Thu Dec 03 17:34:16 2020 +0100 |
tree | 8bd3843a36b6e14eeed62f5545e9ad02b79ee351 | |
parent | 1b614232093fd33014e751b85b9c53e7fafb805c [diff] |
[UIMA-6301] Rename "master" branches to "main" - Updated branch names
diff --git a/Jenkinsfile b/Jenkinsfile index f7c905b..0edcbcf 100644 --- a/Jenkinsfile +++ b/Jenkinsfile
@@ -74,7 +74,7 @@ // merge request has been merged. On success, it deploys the generated artifacts to the // Maven repository server. stage("SNAPSHOT build") { - when { branch pattern: "master|master-v2", comparator: "REGEXP" } + when { branch pattern: "main|main-v2", comparator: "REGEXP" } steps { withMaven() {