Merge pull request #1209 from corda/ronanb/merge-5.0--5.1__2023-08-12

ES-1123: Merge up from 5.0 (12/08/23)
corda · Aug 13, 2023 · 969c6be · 969c6be
2 parents 28163aa + 8247534
commit 969c6be
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/'],