Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

change miniconda to stable version #140

Merged
merged 1 commit into from
Oct 27, 2016
Merged

change miniconda to stable version #140

merged 1 commit into from
Oct 27, 2016

Conversation

KEHANG
Copy link
Member

@KEHANG KEHANG commented Oct 27, 2016

Previously we always use the latest miniconda, but occasionally it breaks travis, we'd like to use stable version instead to give stable travis performance.

@mention-bot
Copy link

@KEHANG, thanks for your PR! By analyzing the history of the files in this pull request, we identified @nickvandewiele, @connie and @mliu49 to be potential reviewers.

@KEHANG KEHANG merged commit 24713d4 into master Oct 27, 2016
@KEHANG KEHANG deleted the environment branch January 20, 2017 21:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants