From 1f2bfb36a58cff0edbc3e9c678e0d203ee6221c3 Mon Sep 17 00:00:00 2001 From: brian Date: Wed, 26 Jul 2023 11:49:35 +0200 Subject: [PATCH] Change jenkins pipeline credentials id for MAVEN Signed-off-by: brian --- .jenkins/linux-x86_64-cuda-build.jenkinsfile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.jenkins/linux-x86_64-cuda-build.jenkinsfile b/.jenkins/linux-x86_64-cuda-build.jenkinsfile index 268e40169..69780ba23 100644 --- a/.jenkins/linux-x86_64-cuda-build.jenkinsfile +++ b/.jenkins/linux-x86_64-cuda-build.jenkinsfile @@ -29,7 +29,7 @@ pipeline { //args '--gpus all' --needed for test only, you can build without GPU } */ - label 'linux' + label 'linux && cuda' } stages { @@ -51,7 +51,7 @@ pipeline { steps { withGradle { - sh 'sh ./gradlew build --stacktrace -x test -PCAVIS_CHIP=cuda \ + sh 'sh ./gradlew build --stacktrace -PCAVIS_CHIP=cuda \ -Pmavenuser=$MAVEN_USR -Pmavenpass=$MAVEN_PSW \ -PossrhUsername=$OSSRH_USR -PossrhPassword=$OSSRH_PSW' }