Skip to content
This repository was archived by the owner on Dec 16, 2024. It is now read-only.

Comments

Share linux build env with doc build.#787

Merged
bors-servo merged 2 commits intomasterfrom
jdm-patch-5
Jan 31, 2018
Merged

Share linux build env with doc build.#787
bors-servo merged 2 commits intomasterfrom
jdm-patch-5

Conversation

@jdm
Copy link
Member

@jdm jdm commented Jan 31, 2018

This should fix servo/servo#19844.


This change is Reviewable

@jdm
Copy link
Member Author

jdm commented Jan 31, 2018

r? @SimonSapin

@SimonSapin
Copy link
Member

Filed #789 which doesn’t need to block this.

@bors-servo r+

@bors-servo
Copy link
Contributor

📌 Commit 942a221 has been approved by SimonSapin

bors-servo pushed a commit that referenced this pull request Jan 31, 2018
Share linux build env with doc build.

This should fix servo/servo#19844.

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

⌛ Testing commit 942a221 with merge f6c3f73...

@bors-servo
Copy link
Contributor

☀️ Test successful - status-travis
Approved by: SimonSapin
Pushing f6c3f73 to master...

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Doc builds are busted since the switch to rustup

4 participants