diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2015-11-21 20:13:10 +0530 |
|---|---|---|
| committer | bors-servo <lbergstrom+bors@mozilla.com> | 2015-11-21 20:13:10 +0530 |
| commit | f2fe1171d2a4f4ae37cfa0e0e345662f68e41c5d (patch) | |
| tree | fece5fe9d49b82207f974c84758b65b0fe76c43b /components/script/dom/htmloptgroupelement.rs | |
| parent | b8586025d2d051f4b02339c8f2af3430bb120ea8 (diff) | |
| parent | 80721a64d0cfc7ec573f3c8b37d05a8d67d89c00 (diff) | |
| download | servo-f2fe1171d2a4f4ae37cfa0e0e345662f68e41c5d.tar.gz servo-f2fe1171d2a4f4ae37cfa0e0e345662f68e41c5d.zip | |
Auto merge of #8601 - mfeckie:feature/manifest-diff-ci-check, r=jdm
Check if MANIFEST.json changes as per #8587
Adds a script which checks if either of the MANIFEST.json files change in `test/wpt` in response to #8587
- Addresses currently incorrect MANIFEST.json
- Adds checking script
PR for saltfs to add to CI checks to follow (https://github.com/servo/saltfs/pull/163)
https://reviewable.io/reviews/servo/servo/8601
<!-- Reviewable:start -->
[<img src="https://reviewable.io/review_button.png" height=40 alt="Review on Reviewable"/>](https://reviewable.io/reviews/servo/servo/8601)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/dom/htmloptgroupelement.rs')
0 files changed, 0 insertions, 0 deletions