From 1769f56bcb182057a54c37a89e1fa17e752ad330 Mon Sep 17 00:00:00 2001
From: bQUARKz <bquarkz@gmail.com>
Date: Wed, 8 Apr 2026 08:56:27 +0100
Subject: [PATCH] improve jenkins

---
 Makefile                 |  2 +-
 files/config/Jenkinsfile | 10 ++++++++--
 2 files changed, 9 insertions(+), 3 deletions(-)

diff --git a/Makefile b/Makefile
index b6ee01f5..81ea3e42 100644
--- a/Makefile
+++ b/Makefile
@@ -19,7 +19,7 @@ clean:
 	cargo llvm-cov clean --workspace
 
 coverage:
-	cargo llvm-cov --workspace --all-features --html --output-dir target/llvm-cov/html
+	cargo llvm-cov --workspace --all-features --html --output-dir target/llvm-cov
 
 coverage-xml:
 	cargo llvm-cov report --cobertura --output-path target/llvm-cov/cobertura.xml
diff --git a/files/config/Jenkinsfile b/files/config/Jenkinsfile
index 7447d8d5..9ab8e21f 100644
--- a/files/config/Jenkinsfile
+++ b/files/config/Jenkinsfile
@@ -12,7 +12,7 @@ pipeline {
   stages {
     stage('Build') {
       steps {
-        withChecks(name: 'Test', includeStage: true) {
+        script {
           sh '''
             set -eux
             make ci cobertura
@@ -50,6 +50,12 @@ pipeline {
 
             echo "Coverage gate passed."
           '''
+        }
+//        withChecks(name: 'Test', includeStage: true) {
+//          sh '''
+//            set -eux
+//            make ci cobertura
+//          '''
 //          recordCoverage(
 //            tools: [[parser: 'COBERTURA', pattern: 'target/llvm-cov/cobertura.xml']],
 //            sourceCodeRetention: 'LAST_BUILD',
@@ -65,7 +71,7 @@ pipeline {
 //              [metric: 'BRANCH', baseline: 'PROJECT',        threshold: 0.0]
 //            ]
 //          )
-        }
+//        }
       }
     } // Test