diff --git a/files/config/Jenkinsfile b/files/config/Jenkinsfile index e40540c2..76549b40 100644 --- a/files/config/Jenkinsfile +++ b/files/config/Jenkinsfile @@ -17,7 +17,7 @@ pipeline { tools: [[parser: 'COBERTURA', pattern: 'target/llvm-cov/cobertura.xml']], sourceCodeRetention: 'LAST_BUILD', enabledForFailure: true, - failOnError: true, + failOnError: false, checksAnnotationScope: 'MODIFIED_LINES', id: 'rust-coverage', name: 'Rust Coverage',