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

Download buildbot metadata via https

Browse source
This commit is contained in:
Jan Andre Ikenmeyer 2018-11-06 14:27:05 +01:00
parent e217672c1a
commit 0ac730a38d
No known key found for this signature in database
GPG key ID: 28F9E42748DD95AE
1 changed files with 4 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

8
etc/ci/performance/download_buildbot_timings.py
View file

@ -24,14 +24,14 @@ def main():
) )
parser.add_argument("--index-url", parser.add_argument("--index-url",
type=str, type=str,
default='http://build.servo.org/json', default='https://build.servo.org/json',
help="the URL to get the JSON index data index from. " help="the URL to get the JSON index data index from. "
"Default: http://build.servo.org/json") "Default: https://build.servo.org/json")
parser.add_argument("--build-url", parser.add_argument("--build-url",
type=str, type=str,
default='http://build.servo.org/json/builders/{}/builds/{}', default='https://build.servo.org/json/builders/{}/builds/{}',
help="the URL to get the JSON build data from. " help="the URL to get the JSON build data from. "
"Default: http://build.servo.org/json/builders/{}/builds/{}") "Default: https://build.servo.org/json/builders/{}/builds/{}")
parser.add_argument("--cache-dir", parser.add_argument("--cache-dir",
type=str, type=str,
default=default_cache_dir, default=default_cache_dir,