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

Use preview OpenXR runtime #26197

Merged
merged 1 commit into from Apr 16, 2020
Merged

Use preview OpenXR runtime #26197

merged 1 commit into from Apr 16, 2020

Conversation

@jdm
Copy link
Member

jdm commented Apr 15, 2020

Fixes #26184.

@jdm
Copy link
Member Author

jdm commented Apr 15, 2020

@highfive highfive assigned Manishearth and unassigned nox Apr 15, 2020
@jdm jdm force-pushed the jdm:preview-runtime branch from b246eb1 to 5fcb3c8 Apr 15, 2020
@jdm jdm changed the title Preview runtime Use review OpenXR runtime Apr 15, 2020
@Manishearth
Copy link
Member

Manishearth commented Apr 15, 2020

@bors-servo
Copy link
Contributor

bors-servo commented Apr 15, 2020

📌 Commit 5fcb3c8 has been approved by Manishearth

@jdm jdm changed the title Use review OpenXR runtime Use preview OpenXR runtime Apr 15, 2020
@bors-servo
Copy link
Contributor

bors-servo commented Apr 16, 2020

Testing commit 5fcb3c8 with merge 24e6bb9...

bors-servo added a commit that referenced this pull request Apr 16, 2020
Use preview OpenXR runtime

Fixes #26184.
@bors-servo
Copy link
Contributor

bors-servo commented Apr 16, 2020

💔 Test failed - status-taskcluster

@jdm
Copy link
Member Author

jdm commented Apr 16, 2020

@bors-servo
Copy link
Contributor

bors-servo commented Apr 16, 2020

Testing commit 5fcb3c8 with merge 16230ee...

@bors-servo
Copy link
Contributor

bors-servo commented Apr 16, 2020

☀️ Test successful - status-taskcluster
Approved by: Manishearth
Pushing 16230ee to master...

@bors-servo bors-servo merged commit 16230ee into servo:master Apr 16, 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
Projects
None yet
Linked issues

Successfully merging this pull request may close these issues.

5 participants
You can’t perform that action at this time.