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 correct plugin search path for locally cloned gstreamer #23424

Merged
merged 1 commit into from May 20, 2019

Conversation

@Manishearth
Copy link
Member

Manishearth commented May 17, 2019

r? @ferjm


This change is Reviewable

@highfive
Copy link

highfive commented May 17, 2019

Heads up! This PR modifies the following files:

@ferjm
Copy link
Member

ferjm commented May 18, 2019

@bors-servo
Copy link
Contributor

bors-servo commented May 18, 2019

📌 Commit 7f76ddd has been approved by ferjm

@bors-servo
Copy link
Contributor

bors-servo commented May 19, 2019

Testing commit 7f76ddd with merge 15e72bf...

bors-servo added a commit that referenced this pull request May 19, 2019
Use correct plugin search path for locally cloned gstreamer

r? @ferjm

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

bors-servo commented May 19, 2019

💥 Test timed out

@CYBAI
Copy link
Collaborator

CYBAI commented May 19, 2019

@bors-servo retry

bors-servo added a commit that referenced this pull request May 20, 2019
Use correct plugin search path for locally cloned gstreamer

r? @ferjm

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

bors-servo commented May 20, 2019

Testing commit 7f76ddd with merge e70bdc4...

@bors-servo
Copy link
Contributor

bors-servo commented May 20, 2019

💔 Test failed - status-taskcluster

@Manishearth
Copy link
Member Author

Manishearth commented May 20, 2019

@bors-servo retry

@bors-servo
Copy link
Contributor

bors-servo commented May 20, 2019

💣 Failed to start rebuilding: Unknown error

bors-servo added a commit that referenced this pull request May 20, 2019
Use correct plugin search path for locally cloned gstreamer

r? @ferjm

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

bors-servo commented May 20, 2019

Testing commit 7f76ddd with merge c52efce...

@bors-servo
Copy link
Contributor

bors-servo commented May 20, 2019

💔 Test failed - status-taskcluster

@ferjm
Copy link
Member

ferjm commented May 20, 2019

@bors-servo retry

@bors-servo
Copy link
Contributor

bors-servo commented May 20, 2019

💣 Failed to start rebuilding: Unknown error

@bors-servo
Copy link
Contributor

bors-servo commented May 20, 2019

Testing commit 7f76ddd with merge d127551...

bors-servo added a commit that referenced this pull request May 20, 2019
Use correct plugin search path for locally cloned gstreamer

r? @ferjm

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

bors-servo commented May 20, 2019

💔 Test failed - status-taskcluster

@jdm
Copy link
Member

jdm commented May 20, 2019

@bors-servo retry

@bors-servo
Copy link
Contributor

bors-servo commented May 20, 2019

💣 Failed to start rebuilding: Unknown error

1 similar comment
@bors-servo
Copy link
Contributor

bors-servo commented May 20, 2019

💣 Failed to start rebuilding: Unknown error

@bors-servo
Copy link
Contributor

bors-servo commented May 20, 2019

Testing commit 7f76ddd with merge 25307c2...

bors-servo added a commit that referenced this pull request May 20, 2019
Use correct plugin search path for locally cloned gstreamer

r? @ferjm

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

bors-servo commented May 20, 2019

☀️ Test successful - arm64, linux-rel-css, linux-rel-wpt, status-taskcluster
Approved by: ferjm
Pushing 25307c2 to master...

@bors-servo bors-servo merged commit 7f76ddd into master May 20, 2019
4 checks passed
4 checks passed
Taskcluster (pull_request) TaskGroup: success
Details
Travis CI - Pull Request Build Passed
Details
continuous-integration/appveyor/pr AppVeyor build succeeded
Details
homu Test successful
Details
@SimonSapin SimonSapin deleted the plugin-search-path branch Jun 19, 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

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