From da48c8b116ddebc1094f0cdbb8322d6953649ff4 Mon Sep 17 00:00:00 2001
From: bQUARKz <bquarkz@gmail.com>
Date: Tue, 7 Apr 2026 09:44:52 +0100
Subject: [PATCH] update jenkinsfile

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

diff --git a/files/config/Jenkinsfile b/files/config/Jenkinsfile
index 796bf354..dc57b12f 100644
--- a/files/config/Jenkinsfile
+++ b/files/config/Jenkinsfile
@@ -1,6 +1,10 @@
 pipeline {
     agent any
 
+    environment {
+        PATH = "/var/jenkins_home/.cargo/bin:${env.PATH}"
+    }
+
     stages {
         stage('CI') {
             steps {