diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2020-03-16 22:17:59 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-03-16 22:17:59 -0400 |
| commit | e1103176e3de8a8c0996d1d60c092cfd8f60e805 (patch) | |
| tree | 90071679cf791f64945806ac6578f6f9988d05ce /components/script/dom/webgl2renderingcontext.rs | |
| parent | 8ce971dd9042f6ad8c17a700659447df164871fa (diff) | |
| parent | ecdbea518f08afc22f971eecb6ff5b6834e33a8b (diff) | |
| download | servo-e1103176e3de8a8c0996d1d60c092cfd8f60e805.tar.gz servo-e1103176e3de8a8c0996d1d60c092cfd8f60e805.zip | |
Auto merge of #25972 - servo:jdm-patch-44, r=jdm
Disable running windows binaries on CI.
In order to get more information out of https://github.com/servo/servo/pull/25745, we're going to temporarily disable the parts of windows CI that don't agree with the updated windows server environment.
Diffstat (limited to 'components/script/dom/webgl2renderingcontext.rs')
0 files changed, 0 insertions, 0 deletions