ES-1123: Merge up from 5.0 (12/08/23)

corda · Aug 12, 2023 · 8247534 · 8247534
2 parents 28163aa + 6cf2e4a
commit 8247534
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -1,6 +1,6 @@
 @Library('[email protected]') _
 
-cordaPipeline(
+cordaPipelineKubernetesAgent(
     runIntegrationTests: false,
     dependentJobsNames: ['/Corda5/corda-runtime-os-version-compatibility/release%2Fos%2F5.1'],
     dependentJobsNonBlocking: ['/Corda5/corda-api-compatibility/'],