From 0d5c7163030df40f64f3953ab7af8e7f6a28e31b Mon Sep 17 00:00:00 2001 From: Till Wegmueller Date: Mon, 26 Apr 2021 19:00:58 -0300 Subject: [PATCH] Fix indents, Add source of rustup env --- Jenkinsfile | 24 ++++++++++++++---------- 1 file changed, 14 insertions(+), 10 deletions(-) diff --git a/Jenkinsfile b/Jenkinsfile index d54bb3f..e4809bc 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,26 +1,30 @@ pipeline { agent { - node { - label 'buildserver' - } + node { + label 'buildserver' } + } options { - buildDiscarder logRotator( - daysToKeepStr: '1', - numToKeepStr: '3' - ) - } + buildDiscarder logRotator( + daysToKeepStr: '1', + numToKeepStr: '3' + ) + } stages { stage('Build') { steps { - sh 'gmake' + sh 'source $HOME/.profile + cargo version + gmake' } } stage('Test') { steps { - sh 'gmake test' + sh 'source $HOME/.profile + cargo version + gmake test' } } stage('Release') {