Jenkinsfile: supporting repos branch name change

val-ms · web-flow · commit 8023644b1289 · 2026-07-30T15:10:50.000-04:00
Changing the branch names for FUZZ_CORPUS_BRANCH and SHARED_LIB_BRANCH from master to main.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -49,7 +49,7 @@ properties(
                        defaultValue: '1.4',
                        description: 'private-fuzz-corpus branch'),
                 string(name: 'SHARED_LIB_BRANCH',
-                       defaultValue: 'master',
+                       defaultValue: 'main',
                        description: 'tests-jenkins-shared-libraries branch')
             ]
         )

Original file line number	Diff line number	Diff line change
`@@ -49,7 +49,7 @@ properties(`
`49`	`49`	`defaultValue: '1.4',`
`50`	`50`	`description: 'private-fuzz-corpus branch'),`
`51`	`51`	`string(name: 'SHARED_LIB_BRANCH',`
`52`		`- defaultValue: 'master',`
	`52`	`+ defaultValue: 'main',`
`53`	`53`	`description: 'tests-jenkins-shared-libraries branch')`
`54`	`54`	`]`
`55`	`55`	`)`