diff --git a/Jenkinsfile b/Jenkinsfile new file mode 100644 index 0000000..5885ef3 --- /dev/null +++ b/Jenkinsfile @@ -0,0 +1,13 @@ +pipeline { + agent any + stages { + stage('Check') { + sh 'cargo check' + } + } + post { + cleanup { + cleanWs() + } + } + }