rusty-numbers/Jenkinsfile

pipeline {
   agent {
     dockerfile {
       args '-u jenkins --privileged'
     }
   }
   stages {
     stage('Check') {
         steps {
             sh "cargo check"
         }
     }
     stage('Test') {
         steps {
             sh "cargo test"
         }
     }
     stage('Coverage') {
         steps {
             sh "make generate-coverage"
         }
     }
   }
   post {
     always {
         cobertura coberturaReportFile: 'cobertura.xml'
     }
   }
 }