Deduplicate Jenkins parameters (#7035)

Signed-off-by: Shirang Jia <shiranj@amazon.com>
This commit is contained in:
Shirang Jia
2022-01-20 15:47:53 -08:00
committed by GitHub
parent 5ed7e91a62
commit 858a92f394
+1 -1
View File
@@ -813,7 +813,7 @@ try {
}
}
pipelineProperties.add(parameters(pipelineParameters))
pipelineProperties.add(parameters(pipelineParameters.unique()))
properties(pipelineProperties)
// Stash the INCREMENTAL_BUILD_SCRIPT_PATH since all nodes will use it