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

Install dependencies for the WPT update task #25171

Merged
merged 1 commit into from Dec 10, 2019
Merged

Install dependencies for the WPT update task #25171

merged 1 commit into from Dec 10, 2019

Conversation

@SimonSapin
Copy link
Member

SimonSapin commented Dec 6, 2019

Fix #25169

@SimonSapin
Copy link
Member Author

SimonSapin commented Dec 6, 2019

@jdm r?

@SimonSapin
Copy link
Member Author

SimonSapin commented Dec 6, 2019

When testing #25117 I had temporarily added those apt-get install lines to the task’s script. I planned to move them to a Dockerfile like in this PR but forgot.

@SimonSapin
Copy link
Member Author

SimonSapin commented Dec 6, 2019

I’ve started https://community-tc.services.mozilla.com/tasks/groups/bdpFZc_HSdOLpVQQwn0y9w to test building this new docker image.

@SimonSapin
Copy link
Member Author

SimonSapin commented Dec 6, 2019

@jdm
Copy link
Member

jdm commented Dec 9, 2019

@bors-servo
Copy link
Contributor

bors-servo commented Dec 9, 2019

📌 Commit 3811c59 has been approved by jdm

@bors-servo
Copy link
Contributor

bors-servo commented Dec 10, 2019

Testing commit 3811c59 with merge 58d2fb7...

bors-servo added a commit that referenced this pull request Dec 10, 2019
Install dependencies for the WPT update task

Fix #25169
@bors-servo
Copy link
Contributor

bors-servo commented Dec 10, 2019

☀️ Test successful - status-taskcluster
Approved by: jdm
Pushing 58d2fb7 to master...

@bors-servo bors-servo merged commit 3811c59 into master Dec 10, 2019
2 checks passed
2 checks passed
Community-TC (pull_request) TaskGroup: success
Details
homu Test successful
Details
@bors-servo bors-servo deleted the u branch Dec 10, 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.

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