diff options
author | bors-servo <servo-ops@mozilla.com> | 2021-02-06 14:18:07 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-02-06 14:18:07 -0500 |
commit | dd3f42c1b2346c698968359c6d16bd9b04456fb0 (patch) | |
tree | 99b54e430558010a44c35d71ef996c5ec2385405 /components/script/dom/pluginarray.rs | |
parent | 1610bd2bc83cea8ff0831cf999c4fba297788f64 (diff) | |
parent | 231c2db8af34d6d0dab81175ddb2d7b29ceb783b (diff) | |
download | servo-dd3f42c1b2346c698968359c6d16bd9b04456fb0.tar.gz servo-dd3f42c1b2346c698968359c6d16bd9b04456fb0.zip |
Auto merge of #28147 - servo:jdm-patch-49, r=jdm
Use explicit python in Windows CI.
Nightly Windows CI jobs have been failing intermittently ever since I deployed https://github.com/servo/taskcluster-config/commit/79bb098816d3abcf5d32c67cb8f32fd6d5b6046c. This change should allow them to succeed again.
Diffstat (limited to 'components/script/dom/pluginarray.rs')
0 files changed, 0 insertions, 0 deletions