From ef79aa50ea4eb8e81c0f4693f50d5ec7084f8276 Mon Sep 17 00:00:00 2001 From: Rob Rudin Date: Tue, 9 Jul 2024 10:54:18 -0400 Subject: [PATCH] Trying latest 11.4 version --- Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Jenkinsfile b/Jenkinsfile index 22f33da..37eb646 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -14,7 +14,7 @@ pipeline{ agent {label 'devExpLinuxPool'} steps{ script{ - copyRPM 'Latest','11' + copyRPM 'Latest','11.4' setUpML '$WORKSPACE/xdmp/src/Mark*.rpm' sh label:'deploy project', script: '''#!/bin/bash export JAVA_HOME=$JAVA_HOME_DIR