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 {