Update path for pyenv shims

cmu-delphi · Oct 21, 2024 · 9edcc92 · 9edcc92
1 parent 12a9712
commit 9edcc92
Showing 1 changed file with 4 additions and 0 deletions.
diff --git 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  {