From 8a345250a89d4acfc9f7546c2551496105deb3e2 Mon Sep 17 00:00:00 2001
From: Mauricio DIAZ <mauricio.diaz@inria.fr>
Date: Thu, 6 Jun 2019 16:56:08 +0200
Subject: [PATCH] Fix CI instructions for the build stage

---
 Jenkinsfile | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index 331640dc9..718bc6094 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -11,6 +11,9 @@ pipeline {
         parallel {
           stage('Build in Linux') {
             agent { label 'ubuntu' }
+            environment {
+              PATH = "$HOME/miniconda/bin:$PATH"
+              }
             when { changeset "environment.yml" }
             steps {
               echo 'Building Conda environment... ${BRANCH_NAME}'
@@ -20,6 +23,9 @@ pipeline {
           }
           stage('Build in Mac') {
             agent { label 'macos' }
+            environment {
+              PATH = "$HOME/miniconda3/bin:$PATH"
+              }
             when { changeset "environment.yml" }
             steps {
               echo 'Building Conda environment...' + 'env.BRANCH_NAME'