diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2019-12-05 16:41:04 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-12-05 16:41:04 -0500 |
| commit | 250184fe60388a001b9cc2146f95ed0bf8b59435 (patch) | |
| tree | 14b812f90079a185f4ae10dd4446ebd3602a423b /components/script/dom/gpuadapter.rs | |
| parent | 43b570e4e7a5c7d3c6376c9f6b9502aa3958d240 (diff) | |
| parent | 7435f6afa2c2680f942dda584bfbcefcd8c2703c (diff) | |
| download | servo-250184fe60388a001b9cc2146f95ed0bf8b59435.tar.gz servo-250184fe60388a001b9cc2146f95ed0bf8b59435.zip | |
Auto merge of #25117 - servo:wptupdate-linux, r=jdm
Move WPT sync-from-upstream task to Linux
Before this PR, this task keeps one macOS workers busy for many hours every day.
Diffstat (limited to 'components/script/dom/gpuadapter.rs')
0 files changed, 0 insertions, 0 deletions