Skip to content

/ servo

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

Sync WPT with upstream (06-06-2018) #21018

Closed
wants to merge 1 commit into from
Closed

Sync WPT with upstream (06-06-2018) #21018

wants to merge 1 commit into from

Conversation

@jdm
Copy link
Member

jdm commented Jun 7, 2018 •
edited by SimonSapin

Automated downstream sync of changes from upstream as of 06-06-2018.
[no-wpt-sync]

This change is Reviewable
@jdm
Update web-platform-tests to revision 087ee437dd3524d62a3375e5884094b…
Loading status checks…
fbae4f8 
…4e9cba75e
@highfive
Copy link

highfive commented Jun 7, 2018

warning Warning warning

  • These commits modify unsafe code. Please review it carefully!
@jdm
Copy link
Member Author

jdm commented Jun 7, 2018

@bors-servo r+
@bors-servo
Copy link
Contributor

bors-servo commented Jun 7, 2018

📌 Commit fbae4f8 has been approved by jdm
@highfive highfive assigned jdm and unassigned emilio Jun 7, 2018
@jdm jdm mentioned this pull request Jun 7, 2018
Closed
@bors-servo
Copy link
Contributor

bors-servo commented Jun 7, 2018

💡 This pull request was already approved, no need to approve it again.

  • There's another pull request that is currently being tested, blocking this pull request: #21017
@bors-servo
Copy link
Contributor

bors-servo commented Jun 7, 2018

📌 Commit fbae4f8 has been approved by jdm
@bors-servo
Copy link
Contributor

bors-servo commented Jun 7, 2018

💡 This pull request was already approved, no need to approve it again.

  • There's another pull request that is currently being tested, blocking this pull request: #21017
@bors-servo
Copy link
Contributor

bors-servo commented Jun 7, 2018

📌 Commit fbae4f8 has been approved by jdm
@bors-servo
Copy link
Contributor

bors-servo commented Jun 7, 2018

⌛ Testing commit fbae4f8 with merge f4e1cd8...
bors-servo added a commit that referenced this pull request Jun 7, 2018
@bors-servo
Auto merge of #21018 - jdm:updatewpt, r=jdm
Verified
This commit was created on GitHub.com and signed with a verified signature using GitHub’s key.
GPG key ID: 4AEE18F83AFDEB23 Learn about signing commits
Loading status checks…
f4e1cd8 
Sync WPT with upstream (06-06-2018)

Automated downstream sync of changes from upstream as of 06-06-2018.
[no-wpt-sync]

<!-- 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/21018)
<!-- Reviewable:end -->
@bors-servo
Copy link
Contributor

bors-servo commented Jun 7, 2018

💔 Test failed - linux-rel-css
@jdm
Copy link
Member Author

jdm commented Jun 7, 2018

Something went wrong in transplanting the changes, so I'll just wait for the next nightly sync.
@jdm jdm closed this Jun 7, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@jdm jdm

Labels
S-tests-failed
Projects
None yet
Milestone
No milestone
Linked issues

Successfully merging this pull request may close these issues.

None yet

4 participants
@jdm @highfive @bors-servo @emilio
You can’t perform that action at this time.