change main to master

2022-05-07 11:15:37 +02:00 · 2022-05-07 11:15:37 +02:00 · 810132916e
commit 810132916e
parent 414f4e614a
1 changed files with 1 additions and 1 deletions
--- a/Jenkinsfile.eval
+++ b/Jenkinsfile.eval
@ -3,7 +3,7 @@ pipeline {
        dockerfile true
    }
    parameters{
-        gitParameter branchFilter: 'origin/(.*)', defaultValue: 'main', name: 'BRANCH', type: 'PT_BRANCH'
+        gitParameter branchFilter: 'origin/(.*)', defaultValue: 'master', name: 'BRANCH', type: 'PT_BRANCH'
        buildSelector(
 			defaultSelector: lastSuccessful(),
 			description: 'Which build to use for copying artifacts',