mirror of
https://github.com/servo/servo.git
synced 2025-08-06 22:15:33 +01:00
Support gzip artifacts.
This commit is contained in:
parent
5488790be6
commit
70d275a5f2
1 changed files with 1 additions and 1 deletions
|
@ -304,7 +304,7 @@ class Task:
|
||||||
def with_curl_script(self, url, file_path):
|
def with_curl_script(self, url, file_path):
|
||||||
return self \
|
return self \
|
||||||
.with_script("""
|
.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))
|
""" % (url, file_path))
|
||||||
|
|
||||||
def with_curl_artifact_script(self, task_id, artifact_name, out_directory=""):
|
def with_curl_artifact_script(self, task_id, artifact_name, out_directory=""):
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue