mirror of
https://github.com/servo/servo
synced 2026-05-11 09:26:59 +02:00
Auto merge of #27749 - servo:jdm-patch-48, r=jdm
Support gzip artifacts.
This commit is contained in:
@@ -304,7 +304,7 @@ class Task:
|
||||
def with_curl_script(self, url, file_path):
|
||||
return self \
|
||||
.with_script("""
|
||||
curl --retry 5 --connect-timeout 10 -Lf "%s" -o "%s"
|
||||
curl --compressed --retry 5 --connect-timeout 10 -Lf "%s" -o "%s"
|
||||
""" % (url, file_path))
|
||||
|
||||
def with_curl_artifact_script(self, task_id, artifact_name, out_directory=""):
|
||||
|
||||
Reference in New Issue
Block a user