diff options
| author | Philip Paquette <pcpaquette@gmail.com> | 2019-01-21 10:31:25 -0500 |
|---|---|---|
| committer | Philip Paquette <pcpaquette@gmail.com> | 2019-04-18 11:22:40 -0400 |
| commit | 0c75691479ddfde6db7f80432a1f38cfcc051eb6 (patch) | |
| tree | 15d24d7603e5ac97c90529dcce4ee68c30aea28d /.jenkins/Jenkinsfile | |
| parent | 631bad6d7d6fd203fa5b1b2696a83b3425378dd2 (diff) | |
Upgraded path to Miniconda.sh
Diffstat (limited to '.jenkins/Jenkinsfile')
| -rw-r--r-- | .jenkins/Jenkinsfile | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/.jenkins/Jenkinsfile b/.jenkins/Jenkinsfile index b9de261..517cad2 100644 --- a/.jenkins/Jenkinsfile +++ b/.jenkins/Jenkinsfile @@ -102,7 +102,7 @@ parallel_test['python_3.6'] = { withCredentials([sshUserPrivateKey(credentialsId: 'jenkins-ssh-key', keyFileVariable: 'SSH_KEY_FILE', passphraseVariable: '', usernameVariable: '')]) { checkout([$class: 'GitSCM', branches: [[name: CHECKOUT_BRANCH]], doGenerateSubmoduleConfigurations: false, extensions: [[$class: 'CleanBeforeCheckout']], submoduleCfg: [], userRemoteConfigs: [[name: 'origin', refspec: CHECKOUT_REF, credentialsId: 'jenkins-ssh-key', url: GITHUB_URL]]]) sh ".jenkins/merge_pr.sh $PR_NUMBER $COMMIT_HASH $BASE_HASH $SSH_KEY_FILE \ - && wget -nv https://storage.googleapis.com/ppaquette-diplomacy/files/Miniconda3-latest-Linux-x86_64.sh -O miniconda.sh \ + && wget -nv https://storage.googleapis.com/ppaquette-diplomacy/files/Miniconda3-py36.sh -O miniconda.sh \ && chmod +x ./miniconda.sh \ && rm -Rf $HOME/miniconda \ && ./miniconda.sh -b -p $HOME/miniconda \ @@ -150,7 +150,7 @@ if (BUILD_TYPE == 'pr' || (BUILD_TYPE == 'push' && COMMIT_BRANCH == 'jenkins')) withCredentials([sshUserPrivateKey(credentialsId: 'jenkins-ssh-key', keyFileVariable: 'SSH_KEY_FILE', passphraseVariable: '', usernameVariable: '')]) { checkout([$class: 'GitSCM', branches: [[name: CHECKOUT_BRANCH]], doGenerateSubmoduleConfigurations: false, extensions: [[$class: 'CleanBeforeCheckout']], submoduleCfg: [], userRemoteConfigs: [[name: 'origin', refspec: CHECKOUT_REF, credentialsId: 'jenkins-ssh-key', url: GITHUB_URL]]]) sh ".jenkins/merge_pr.sh $PR_NUMBER $COMMIT_HASH $BASE_HASH $SSH_KEY_FILE \ - && wget -nv https://storage.googleapis.com/ppaquette-diplomacy/files/Miniconda3-latest-Linux-x86_64.sh -O miniconda.sh \ + && wget -nv https://storage.googleapis.com/ppaquette-diplomacy/files/Miniconda3-py36.sh -O miniconda.sh \ && chmod +x ./miniconda.sh \ && rm -Rf $HOME/miniconda \ && ./miniconda.sh -b -p $HOME/miniconda \ @@ -194,7 +194,7 @@ if (BUILD_TYPE == 'pr' || (BUILD_TYPE == 'push' && COMMIT_BRANCH == 'jenkins')) withCredentials([sshUserPrivateKey(credentialsId: 'jenkins-ssh-key', keyFileVariable: 'SSH_KEY_FILE', passphraseVariable: '', usernameVariable: '')]) { checkout([$class: 'GitSCM', branches: [[name: CHECKOUT_BRANCH]], doGenerateSubmoduleConfigurations: false, extensions: [[$class: 'CleanBeforeCheckout']], submoduleCfg: [], userRemoteConfigs: [[name: 'origin', refspec: CHECKOUT_REF, credentialsId: 'jenkins-ssh-key', url: GITHUB_URL]]]) sh ".jenkins/merge_pr.sh $PR_NUMBER $COMMIT_HASH $BASE_HASH $SSH_KEY_FILE \ - && wget -nv https://storage.googleapis.com/ppaquette-diplomacy/files/Miniconda3-latest-Linux-x86_64.sh -O miniconda.sh \ + && wget -nv https://storage.googleapis.com/ppaquette-diplomacy/files/Miniconda3-py36.sh -O miniconda.sh \ && chmod +x ./miniconda.sh \ && rm -Rf $HOME/miniconda \ && ./miniconda.sh -b -p $HOME/miniconda \ |