From 40536f4b3059c744166d0bba9c853d9e5286668f Mon Sep 17 00:00:00 2001 From: bQUARKz Date: Tue, 7 Apr 2026 09:39:58 +0100 Subject: [PATCH] update jenkinsfile --- files/config/Jenkinsfile | 34 ++++++---------------------------- 1 file changed, 6 insertions(+), 28 deletions(-) diff --git a/files/config/Jenkinsfile b/files/config/Jenkinsfile index 728645ab..e3a22eec 100644 --- a/files/config/Jenkinsfile +++ b/files/config/Jenkinsfile @@ -2,40 +2,18 @@ pipeline { agent any stages { - stage('Verify') { + stage('CI') { steps { - withChecks(name: 'Rust Verify', includeStage: true) { + withChecks(name: 'Rust CI', includeStage: true) { sh ''' set -e - rustup component add clippy rustfmt llvm-tools-preview - cargo fmt --all -- --check - cargo clippy --all-targets --all-features -- -D warnings + rustc --version + cargo --version + rustup component add clippy rustfmt + make ci ''' } } } - - stage('Test + Coverage') { - steps { - withChecks(name: 'Rust Test', includeStage: true) { - sh ''' - set -e - cargo install cargo-llvm-cov --locked || true - cargo llvm-cov --all-features --workspace --cobertura --output-path coverage.xml - ''' - } - } - } - - stage('Reports') { - steps { - recordCoverage( - tools: [[parser: 'COBERTURA', pattern: 'coverage.xml']], - id: 'rust-coverage', - name: 'Rust Coverage', - sourceCodeRetention: 'EVERY_BUILD' - ) - } - } } } \ No newline at end of file