double-pendulum/Jenkinsfile

pipeline {
  agent any
  stages {
    stage('Check') {
      steps {
        sh 'cargo check'
      }
    }
  }
    post {
        cleanup {
            cleanWs()
          }
      }
  }