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

Do not suppress errors from packaging android build. #21766

Merged
merged 1 commit into from Sep 20, 2018
Merged

Conversation

@jdm
Copy link
Member

jdm commented Sep 20, 2018

  • ./mach build -d does not report any errors
  • ./mach test-tidy does not report any errors
  • These changes fix #21765

This change is Reviewable

@highfive
Copy link

highfive commented Sep 20, 2018

Heads up! This PR modifies the following files:

@SimonSapin
Copy link
Member

SimonSapin commented Sep 20, 2018

@bors-servo
Copy link
Contributor

bors-servo commented Sep 20, 2018

📌 Commit eb9e408 has been approved by SimonSapin

@bors-servo
Copy link
Contributor

bors-servo commented Sep 20, 2018

Testing commit eb9e408 with merge f11caf3...

bors-servo added a commit that referenced this pull request Sep 20, 2018
Do not suppress errors from packaging android build.

- [x] `./mach build -d` does not report any errors
- [x] `./mach test-tidy` does not report any errors
- [x] These changes fix #21765

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

bors-servo commented Sep 20, 2018

@bors-servo bors-servo merged commit eb9e408 into master Sep 20, 2018
2 of 4 checks passed
2 of 4 checks passed
Taskcluster (pull_request) TaskGroup: failure
Details
continuous-integration/travis-ci/pr The Travis CI build failed
Details
continuous-integration/appveyor/pr AppVeyor build succeeded
Details
homu Test successful
Details
@SimonSapin SimonSapin deleted the jdm-patch-27 branch Oct 10, 2018
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.