diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2020-01-14 15:44:07 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-01-14 15:44:07 -0500 |
| commit | f2d2c7d1f9c67dcadd625397be452e4180f1ad3e (patch) | |
| tree | db0f8d25e391ab9aa1ccc89ac89462659e4684e7 /components/script/dom/create.rs | |
| parent | 85ea8df00c794db3662511b255335f9252780544 (diff) | |
| parent | f2fedd87fcc3e03a297dbf9fb461b5b42d61f886 (diff) | |
| download | servo-f2d2c7d1f9c67dcadd625397be452e4180f1ad3e.tar.gz servo-f2d2c7d1f9c67dcadd625397be452e4180f1ad3e.zip | |
Auto merge of #25495 - tuncer:ci-media-dummy, r=jdm
CI: build Linux amd64 --media-stack=dummy
<!-- Please describe your changes on the following line: -->
Include `--media-stack=dummy` in CI, as discussed in https://github.com/servo/servo/pull/24829.
---
<!-- Thank you for contributing to Servo! Please replace each `[ ]` by `[X]` when the step is complete, and replace `___` with appropriate data: -->
- [x] `./mach build -d` does not report any errors
- [x] `./mach test-tidy` does not report any errors
<!-- Either: -->
- [ ] There are tests for these changes OR
- [X] These changes do not require tests because it's build infra
<!-- Also, please make sure that "Allow edits from maintainers" checkbox is checked, so that we can help you if you get stuck somewhere along the way.-->
<!-- Pull requests that do not address these steps are welcome, but they will require additional verification as part of the review process. -->
Diffstat (limited to 'components/script/dom/create.rs')
0 files changed, 0 insertions, 0 deletions