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 OpenXR loader package #24453

Merged
merged 2 commits into from Oct 18, 2019
Merged

Update OpenXR loader package #24453

merged 2 commits into from Oct 18, 2019

Conversation

@jdm
Copy link
Member

jdm commented Oct 15, 2019

This fixes two outstanding WACK errors.
jdm added 2 commits Oct 15, 2019
@jdm
Remove unnecessary DLLs from UWP project.
40b473a
@jdm
Upgrade OpenXR loader package to 1.0.3.
Loading status checks…
35dc07a
@jdm jdm added this to In progress in UWP port Oct 15, 2019
@jdm
Copy link
Member Author

jdm commented Oct 15, 2019

r? @Manishearth
@highfive highfive assigned Manishearth and unassigned paulrouget Oct 15, 2019
@Manishearth
Copy link
Member

Manishearth commented Oct 15, 2019

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

bors-servo commented Oct 15, 2019

📌 Commit 35dc07a has been approved by Manishearth
@bors-servo
Copy link
Contributor

bors-servo commented Oct 16, 2019

⌛ Testing commit 35dc07a with merge 9734f06...
bors-servo added a commit that referenced this pull request Oct 16, 2019
@bors-servo
Auto merge of #24453 - jdm:openxr-update, r=Manishearth
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…
9734f06 
Update OpenXR loader package

This fixes two outstanding WACK errors.
@bors-servo
Copy link
Contributor

bors-servo commented Oct 16, 2019

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

jdm commented Oct 16, 2019

@bors-servo retry
@CYBAI
Copy link
Collaborator

CYBAI commented Oct 16, 2019

#24456
@bors-servo
Copy link
Contributor

bors-servo commented Oct 17, 2019

⌛ Testing commit 35dc07a with merge b8adb00...
bors-servo added a commit that referenced this pull request Oct 17, 2019
@bors-servo
Auto merge of #24453 - jdm:openxr-update, r=Manishearth
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…
b8adb00 
Update OpenXR loader package

This fixes two outstanding WACK errors.
@bors-servo
Copy link
Contributor

bors-servo commented Oct 17, 2019

💔 Test failed - status-taskcluster
@CYBAI
Copy link
Collaborator

CYBAI commented Oct 17, 2019

@bors-servo retry
bors-servo added a commit that referenced this pull request Oct 17, 2019
@bors-servo
Auto merge of #24453 - jdm:openxr-update, r=Manishearth
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…
4e65c0f 
Update OpenXR loader package

This fixes two outstanding WACK errors.
@bors-servo
Copy link
Contributor

bors-servo commented Oct 17, 2019

⌛ Testing commit 35dc07a with merge 4e65c0f...
@bors-servo
Copy link
Contributor

bors-servo commented Oct 17, 2019

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

jdm commented Oct 17, 2019

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

bors-servo commented Oct 17, 2019

⌛ Testing commit 35dc07a with merge 02ce173...
bors-servo added a commit that referenced this pull request Oct 17, 2019
@bors-servo
Auto merge of #24453 - jdm:openxr-update, r=Manishearth
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…
02ce173 
Update OpenXR loader package

This fixes two outstanding WACK errors.
@bors-servo
Copy link
Contributor

bors-servo commented Oct 18, 2019

💔 Test failed - status-taskcluster
@CYBAI
Copy link
Collaborator

CYBAI commented Oct 18, 2019

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

bors-servo commented Oct 18, 2019

⌛ Testing commit 35dc07a with merge 578d9a7...
bors-servo added a commit that referenced this pull request Oct 18, 2019
@bors-servo
Auto merge of #24453 - jdm:openxr-update, r=Manishearth
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…
578d9a7 
Update OpenXR loader package

This fixes two outstanding WACK errors.
@bors-servo
Copy link
Contributor

bors-servo commented Oct 18, 2019

☀️ Test successful - linux-rel-css, linux-rel-wpt, status-taskcluster
Approved by: Manishearth
Pushing 578d9a7 to master...
@bors-servo bors-servo merged commit 35dc07a into servo:master Oct 18, 2019
2 of 3 checks passed
2 of 3 checks passed
continuous-integration/appveyor/pr AppVeyor build failed
Details
Taskcluster (pull_request) TaskGroup: success
Details
homu Test successful
Details
UWP port automation moved this from In progress to Done Oct 18, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@Manishearth Manishearth

Labels
None yet
Projects
UWP port
  
Done
Milestone
No milestone
Linked issues

Successfully merging this pull request may close these issues.

None yet

6 participants
@jdm @Manishearth @bors-servo @CYBAI @paulrouget @highfive
You can’t perform that action at this time.