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

Partial preparations for upgrading to Rust nightly-2020-05-26 #26662

Merged
merged 1 commit into from May 27, 2020
Merged

Conversation

@SimonSapin
Copy link
Member

SimonSapin commented May 26, 2020

CC #26661
Fixes #26645

@highfive
Copy link

highfive commented May 26, 2020

Heads up! This PR modifies the following files:

@SimonSapin SimonSapin mentioned this pull request May 26, 2020
7 of 7 tasks complete
@nox
Copy link
Member

nox commented May 26, 2020

@bors-servo
Copy link
Contributor

bors-servo commented May 26, 2020

📌 Commit 1718ffd has been approved by nox

@highfive highfive assigned nox and unassigned Manishearth May 26, 2020
@SimonSapin
Copy link
Member Author

SimonSapin commented May 26, 2020

Added an update of syn to 1.0.26 to pick up dtolnay/syn#832, which works around rust-lang/rust#72608.

@jdm
Copy link
Member

jdm commented May 26, 2020

@bors-servo
Copy link
Contributor

bors-servo commented May 26, 2020

📌 Commit cfd62cf has been approved by jdm

@highfive highfive assigned jdm and unassigned nox May 26, 2020
@bors-servo
Copy link
Contributor

bors-servo commented May 27, 2020

Testing commit cfd62cf with merge 34a41f5...

@bors-servo
Copy link
Contributor

bors-servo commented May 27, 2020

☀️ Test successful - status-taskcluster
Approved by: jdm
Pushing 34a41f5 to master...

@bors-servo bors-servo merged commit 34a41f5 into master May 27, 2020
2 checks passed
2 checks passed
Community-TC (pull_request) TaskGroup: success
Details
homu Test successful
Details
@bors-servo bors-servo deleted the rustup branch May 27, 2020
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.

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