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

Remove default cargo config. #17302

Merged
merged 1 commit into from
Jun 14, 2017
Merged

Remove default cargo config. #17302

merged 1 commit into from
Jun 14, 2017

Conversation

jdm
Copy link
Member

@jdm jdm commented Jun 13, 2017

This was a temporary change to work around a cert revocation that broke our CI. It is no longer necessary.


This change is Reviewable

@highfive highfive added the S-awaiting-review There is new code that needs to be reviewed. label Jun 13, 2017
@SimonSapin
Copy link
Member

@bors-servo r+

@bors-servo
Copy link
Contributor

📌 Commit 8a784db has been approved by SimonSapin

@highfive highfive assigned SimonSapin and unassigned wafflespeanut Jun 14, 2017
@highfive highfive added S-awaiting-merge The PR is in the process of compiling and running tests on the automated CI. and removed S-awaiting-review There is new code that needs to be reviewed. labels Jun 14, 2017
@bors-servo
Copy link
Contributor

⌛ Testing commit 8a784db with merge fbbabed...

bors-servo pushed a commit that referenced this pull request Jun 14, 2017
Remove default cargo config.

This was a temporary change to work around a cert revocation that broke our CI. It is no longer necessary.

<!-- Reviewable:start -->
---
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/17302)
<!-- Reviewable:end -->
@bors-servo
Copy link
Contributor

☀️ Test successful - android, arm32, arm64, linux-dev, linux-rel-css, linux-rel-wpt, mac-dev-unit, mac-rel-css1, mac-rel-css2, mac-rel-wpt1, mac-rel-wpt2, mac-rel-wpt3, mac-rel-wpt4, windows-msvc-dev
Approved by: SimonSapin
Pushing fbbabed to master...

@bors-servo bors-servo merged commit 8a784db into master Jun 14, 2017
@highfive highfive removed the S-awaiting-merge The PR is in the process of compiling and running tests on the automated CI. label Jun 14, 2017
@SimonSapin SimonSapin deleted the jdm-patch-6 branch June 26, 2017 11:24
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.

5 participants