Fix workflow.

uhafner · uhafner · commit afaa176e3f51 · 2023-03-24T14:46:57.000+01:00
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -81,6 +81,7 @@ def params = [
               if (doArchiveArtifacts) {
                 archivedArtifacts = true
               }
+
               boolean incrementals // cf. JEP-305
 
               stage("Checkout (${stageIdentifier})") {

Original file line number	Diff line number	Diff line change
`@@ -81,6 +81,7 @@ def params = [`
`81`	`81`	`if (doArchiveArtifacts) {`
`82`	`82`	`archivedArtifacts = true`
`83`	`83`	`}`
	`84`	`+`
`84`	`85`	`boolean incrementals // cf. JEP-305`
`85`	`86`
`86`	`87`	`stage("Checkout (${stageIdentifier})") {`