pipeline {
   agent {
     docker {
       image 'rust:latest'
       args '--privileged'
     }
   }
   stages {
     stage('Check') {
         steps {
             sh "cargo check"
         }
     }
     stage('Test') {
         steps {
             sh "cargo test"
         }
     }
     stage('Check no_std') {
         steps {
             sh "cargo check --no-default-features --features alloc"
         }
     }
     stage('Test no_std') {
         steps {
             sh "cargo test --no-default-features --features alloc"
         }
     }
     stage('Coverage') {
         steps {
             sh "cargo clean"
             sh "cargo install cargo-tarpaulin"
             sh "make generate-coverage"
         }
     }
   }
   post {
     always {
         cobertura coberturaReportFile: 'cobertura.xml'
     }
   }
 }