diff --git a/files/config/Jenkinsfile b/files/config/Jenkinsfile index dc57b12f..ec6c9cf8 100644 --- a/files/config/Jenkinsfile +++ b/files/config/Jenkinsfile @@ -1,16 +1,14 @@ pipeline { agent any - environment { - PATH = "/var/jenkins_home/.cargo/bin:${env.PATH}" - } - stages { stage('CI') { steps { withChecks(name: 'Rust CI', includeStage: true) { sh ''' set -e + which rustc + which cargo rustc --version cargo --version make ci