From d0342fc9395f544eaa0837021f5fb0983220a403 Mon Sep 17 00:00:00 2001
From: brian <brian@brutex.de>
Date: Wed, 26 Jul 2023 11:51:13 +0200
Subject: [PATCH] Change jenkins pipeline credentials id for MAVEN

Signed-off-by: brian <brian@brutex.de>
---
 .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'
                 }