diff --git a/Jenkinsfile b/Jenkinsfile
index 1b9485ca5..3fcdc904a 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -18,6 +18,10 @@ def deploy_production = [:]
 
 pipeline {
     agent any
+    environment {
+        // Set the PATH variable to include the pyenv shims directory.
+        PATH = "/var/lib/jenkins/.pyenv/shims:${env.PATH}"
+    }
     stages {
         stage('Build dev/feature branch') {
             when  {