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

Update webrender. #26873

Merged
merged 1 commit into from Jun 12, 2020
Merged

Update webrender. #26873

merged 1 commit into from Jun 12, 2020

Conversation

@jdm
Copy link
Member

jdm commented Jun 11, 2020

No description provided.

@highfive
Copy link

highfive commented Jun 11, 2020

warning Warning warning

  • These commits modify gfx code, but no tests are modified. Please consider adding a test!
@jdm
Copy link
Member Author

jdm commented Jun 11, 2020

@bors-servo try=wpt
bors-servo added a commit that referenced this pull request Jun 11, 2020
@bors-servo
Auto merge of #26873 - jdm:updatewr2, r=<try>
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…
2157a0c 
Update webrender.
@bors-servo
Copy link
Contributor

bors-servo commented Jun 11, 2020

⌛ Trying commit 7e37619 with merge 2157a0c...
@jdm jdm force-pushed the jdm:updatewr2 branch from 7e37619 to 49ad758 Jun 11, 2020
@jdm
Update webrender.
Loading status checks…
b39955d
@jdm jdm force-pushed the jdm:updatewr2 branch from 49ad758 to b39955d Jun 11, 2020
@jdm
Copy link
Member Author

jdm commented Jun 11, 2020

@bors-servo try=wpt-2020
@bors-servo
Copy link
Contributor

bors-servo commented Jun 11, 2020

⌛ Trying commit b39955d with merge 022c1df...
bors-servo added a commit that referenced this pull request Jun 11, 2020
@bors-servo
Auto merge of #26873 - jdm:updatewr2, r=<try>
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…
022c1df 
Update webrender.
@bors-servo
Copy link
Contributor

bors-servo commented Jun 11, 2020

☀️ Test successful - status-taskcluster
State: approved= try=True
@ferjm
Copy link
Member

ferjm commented Jun 12, 2020

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

bors-servo commented Jun 12, 2020

📌 Commit b39955d has been approved by ferjm
bors-servo added a commit that referenced this pull request Jun 12, 2020
@bors-servo
Auto merge of #26873 - jdm:updatewr2, r=ferjm
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…
e945d67 
Update webrender.
@bors-servo
Copy link
Contributor

bors-servo commented Jun 12, 2020

⌛ Testing commit b39955d with merge e945d67...
@bors-servo
Copy link
Contributor

bors-servo commented Jun 12, 2020

💔 Test failed - status-taskcluster
@jdm
Copy link
Member Author

jdm commented Jun 12, 2020

@bors-servo retry
#26894
@bors-servo
Copy link
Contributor

bors-servo commented Jun 12, 2020

⌛ Testing commit b39955d with merge 15e7525...
@bors-servo
Copy link
Contributor

bors-servo commented Jun 12, 2020

☀️ Test successful - status-taskcluster
Approved by: ferjm
Pushing 15e7525 to master...
@bors-servo bors-servo merged commit 15e7525 into servo:master Jun 12, 2020
2 checks passed
2 checks passed
Community-TC (pull_request) TaskGroup: success
Details
homu Test successful
Details
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@ferjm ferjm

Labels
None yet
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 @ferjm
You can’t perform that action at this time.