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 browserhtml #11954

Merged
merged 1 commit into from Jun 30, 2016
Merged

update browserhtml #11954

merged 1 commit into from Jun 30, 2016

Conversation

@paulrouget
Copy link
Contributor

paulrouget commented Jun 30, 2016

Another browserhtml update to pick performance improvements.


This change is Reviewable

@wafflespeanut
Copy link
Member

wafflespeanut commented Jun 30, 2016

@bors-servo
Copy link
Contributor

bors-servo commented Jun 30, 2016

📌 Commit f9e990e has been approved by Wafflespeanut

@bors-servo
Copy link
Contributor

bors-servo commented Jun 30, 2016

Testing commit f9e990e with merge 2ff6c35...

bors-servo added a commit that referenced this pull request Jun 30, 2016
update browserhtml

Another browserhtml update to pick performance improvements.

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

bors-servo commented Jun 30, 2016

💔 Test failed - linux-rel

@wafflespeanut
Copy link
Member

wafflespeanut commented Jun 30, 2016

@bors-servo
Copy link
Contributor

bors-servo commented Jun 30, 2016

Previous build results for android, arm32, arm64, linux-dev, mac-dev-unit, mac-rel-css, mac-rel-wpt, windows are reusable. Rebuilding only linux-rel...

@bors-servo
Copy link
Contributor

bors-servo commented Jun 30, 2016

@bors-servo bors-servo merged commit f9e990e into servo:master Jun 30, 2016
1 check passed
1 check passed
homu Test successful
Details
@paulrouget paulrouget deleted the paulrouget:bhtmlUpdate branch Sep 27, 2019
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.