diff --git a/Jenkinsfile b/Jenkinsfile index 5885ef3..4c43752 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,10 +1,12 @@ pipeline { agent any stages { - stage('Check') { - sh 'cargo check' - } + stage('Check') { + steps { + sh 'cargo check' + } } + } post { cleanup { cleanWs()