Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-07-04 05:53:39 +01:00
Code Issues Projects Releases Packages Wiki Activity

Auto merge of #25913 - servo:jdm-patch-41, r=paulrouget

Browse source 
Update curl package for Windows CI.

This should fix #25912.
This commit is contained in:
bors-servo 2020-03-24 02:28:29 -04:00 • committed by GitHub
commit ecef8994e0
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

6
etc/taskcluster/decisionlib.py
View file

@ -531,10 +531,10 @@ class WindowsGenericWorkerTask(GenericWorkerTask):
def with_curl(self):
return self \
.with_path_from_homedir("curl\\curl-7.67.0-win64-mingw\\bin") \
.with_path_from_homedir("curl\\curl-7.69.0-win64-mingw\\bin") \
.with_directory_mount(
"https://curl.haxx.se/windows/dl-7.67.0_4/curl-7.67.0_4-win64-mingw.zip",
sha256="1d50deeac7f945ed75149e6300f6d21f007a6b942ab851a119ed76cdef27d714",
"https://curl.haxx.se/windows/dl-7.69.0/curl-7.69.0-win64-mingw.zip",
sha256="1c3caf39bf8ad2794b0515a09b3282f85a7ccfcf753ea639f2ef99e50351ade0",
path="curl",
)