diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2018-06-19 19:33:01 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-06-19 19:33:01 -0400 |
| commit | 7f745139a773bd26838b0a2b7d992d8252ce4fed (patch) | |
| tree | 00043bb0fc2ecfeca954446a9ec27eaae2c804f2 /components/script/dom/request.rs | |
| parent | e231a68acf4dabc7541cb15703f082eb3dd2b945 (diff) | |
| parent | 80c41b426626aa90726389bd12944ab189957806 (diff) | |
| download | servo-7f745139a773bd26838b0a2b7d992d8252ce4fed.tar.gz servo-7f745139a773bd26838b0a2b7d992d8252ce4fed.zip | |
Auto merge of #21056 - tigercosmos:ttt, r=jdm
improve test-tidy
check wpt manifest when run tidy
If CI has already run `test-tidy`, and then no need to run `etc/ci/manifest_changed.sh`
<!-- 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/21056)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/dom/request.rs')
0 files changed, 0 insertions, 0 deletions