pipeline { agent { dockerfile { args '-u root --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' } } }