double-pendulum/Jenkinsfile

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