From 87c51ba8fcd86da86114dd7e25c973575444e9fd Mon Sep 17 00:00:00 2001
From: bQUARKz <bquarkz@gmail.com>
Date: Tue, 7 Apr 2026 10:07:25 +0100
Subject: [PATCH] update jenkinsfile

---
 files/config/Jenkinsfile | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/files/config/Jenkinsfile b/files/config/Jenkinsfile
index dc57b12f..ec6c9cf8 100644
--- a/files/config/Jenkinsfile
+++ b/files/config/Jenkinsfile
@@ -1,16 +1,14 @@
 pipeline {
     agent any
 
-    environment {
-        PATH = "/var/jenkins_home/.cargo/bin:${env.PATH}"
-    }
-
     stages {
         stage('CI') {
             steps {
                 withChecks(name: 'Rust CI', includeStage: true) {
                     sh '''
                         set -e
+                        which rustc
+                        which cargo
                         rustc --version
                         cargo --version
                         make ci