update jenkinsfile

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
+                        rustc --version
-                        cargo fmt --all -- --check
+                        cargo --version
-                        cargo clippy --all-targets --all-features -- -D warnings
+                        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'
-                )
-            }
-        }
     }
 }