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

Update stable Rust version to 1.20.0 #18883

Merged
merged 1 commit into from Oct 15, 2017
Merged

Update stable Rust version to 1.20.0 #18883

merged 1 commit into from Oct 15, 2017

Conversation

@SimonSapin
Copy link
Member

SimonSapin commented Oct 14, 2017

This change is Reviewable

@highfive
Copy link

highfive commented Oct 14, 2017

Heads up! This PR modifies the following files:

@SimonSapin
Copy link
Member Author

SimonSapin commented Oct 14, 2017

@bors-servo
Copy link
Contributor

bors-servo commented Oct 14, 2017

📌 Commit 17e459f has been approved by SimonSapin

@bors-servo
Copy link
Contributor

bors-servo commented Oct 14, 2017

Testing commit 17e459f with merge 4375a89...

bors-servo added a commit that referenced this pull request Oct 14, 2017
Update stable Rust version to 1.20.0
@SimonSapin SimonSapin mentioned this pull request Oct 14, 2017
3 of 3 tasks complete
@bors-servo
Copy link
Contributor

bors-servo commented Oct 14, 2017

💔 Test failed - mac-rel-wpt1

@SimonSapin
Copy link
Member Author

SimonSapin commented Oct 14, 2017

command timed out: 1200 seconds without output

@bors-servo retry

@bors-servo
Copy link
Contributor

bors-servo commented Oct 14, 2017

@bors-servo
Copy link
Contributor

bors-servo commented Oct 15, 2017

@bors-servo bors-servo merged commit 17e459f into master Oct 15, 2017
3 of 4 checks passed
3 of 4 checks passed
dependency-ci Checking Dependencies
Details
continuous-integration/appveyor/pr AppVeyor build succeeded
Details
continuous-integration/travis-ci/pr The Travis CI build passed
Details
homu Test successful
Details
@SimonSapin SimonSapin deleted the 1.20 branch Oct 15, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Linked issues

Successfully merging this pull request may close these issues.

None yet

4 participants
You can’t perform that action at this time.