From deb436036bb0c57afd96b52ffc5b50b8197f3986 Mon Sep 17 00:00:00 2001 From: brian Date: Wed, 26 Jul 2023 11:51:13 +0200 Subject: [PATCH] Change jenkins pipeline credentials id for MAVEN Signed-off-by: brian --- .jenkins/linux-x86_64-cuda-build.jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.jenkins/linux-x86_64-cuda-build.jenkinsfile b/.jenkins/linux-x86_64-cuda-build.jenkinsfile index 69780ba23..a3c252363 100644 --- a/.jenkins/linux-x86_64-cuda-build.jenkinsfile +++ b/.jenkins/linux-x86_64-cuda-build.jenkinsfile @@ -51,7 +51,7 @@ pipeline { steps { withGradle { - sh 'sh ./gradlew build --stacktrace -PCAVIS_CHIP=cuda \ + sh 'sh ./gradlew build --stacktrace -PCAVIS_CHIP=cuda \ -Pmavenuser=$MAVEN_USR -Pmavenpass=$MAVEN_PSW \ -PossrhUsername=$OSSRH_USR -PossrhPassword=$OSSRH_PSW' }