Polishing.

gregturn · gregturn · commit 96aa849767e3 · 2023-08-09T09:20:31.000-05:00
Related #1369.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -50,7 +50,7 @@ pipeline {
 		stage("Test other configurations") {
 			when {
 				beforeAgent(true)
-				branch(pattern: "issue/spring-next-gen|main|(\\d\\.\\d\\.x)", comparator: "REGEXP")
+				branch(pattern: "main|(\\d\\.\\d\\.x)", comparator: "REGEXP")
 			}
 
 			parallel {

Original file line number	Diff line number	Diff line change
`@@ -50,7 +50,7 @@ pipeline {`
`50`	`50`	`stage("Test other configurations") {`
`51`	`51`	`when {`
`52`	`52`	`beforeAgent(true)`
`53`		`- branch(pattern: "issue/spring-next-gen\|main\|(\\d\\.\\d\\.x)", comparator: "REGEXP")`
	`53`	`+ branch(pattern: "main\|(\\d\\.\\d\\.x)", comparator: "REGEXP")`
`54`	`54`	`}`
`55`	`55`
`56`	`56`	`parallel {`