rusty-numbers/Jenkinsfile

pipeline {
  agent {
    docker {
      image 'rust:latest'
    }
  }
  stages {
    stage('Check') {
        steps {
            sh "cargo check"
        }
    }
    stage('Test') {
        steps {
            sh "cargo test"
        }
    }
    stage('Coverage') {
        steps {
            sh "cargo install cargo-tarpaulin"
            sh "make coverage"
        }
    }
  }
  post {
    always {
        cobertura coberturaReportFile: '*/.xml'
    }
  }
}