From d46f447273b7e4563605d8bb2a74efc506cc2ee4 Mon Sep 17 00:00:00 2001 From: bQUARKz Date: Tue, 7 Apr 2026 09:36:46 +0100 Subject: [PATCH] update jenkinsfile --- files/config/Jenkinsfile | 51 +++++++++++++++++++++++----------------- 1 file changed, 30 insertions(+), 21 deletions(-) diff --git a/files/config/Jenkinsfile b/files/config/Jenkinsfile index ae86f36c..728645ab 100644 --- a/files/config/Jenkinsfile +++ b/files/config/Jenkinsfile @@ -2,31 +2,40 @@ pipeline { agent any stages { - stage('Setup') { + stage('Verify') { steps { - giteaStatus status: 'PENDING', context: 'ci/jenkins' - sh ''' - set -e - rustup component add clippy rustfmt - ''' + withChecks(name: 'Rust Verify', 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 + ''' + } } } - stage('CI') { - steps { - sh ''' - set -e - make ci - ''' - } - } - } - post { - success { - giteaStatus status: 'SUCCESS', context: 'ci/jenkins' + 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 + ''' + } + } } - failure { - giteaStatus status: 'FAILURE', context: 'ci/jenkins' + + 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