Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-06-06 16:45:39 +00:00
Code Issues Projects Releases Packages Wiki Activity

Print timing of git operations

Browse source
This commit is contained in:
Simon Sapin 2019-11-16 14:15:15 +01:00
parent 591d7ad6c1
commit a74046a3b6
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
etc/taskcluster/decisionlib.py
View file

@ -597,8 +597,8 @@ class UnixTaskMixin(Task):
.with_early_script(""" .with_early_script("""
git init repo git init repo
cd repo cd repo
git fetch {depth} "$GIT_URL" "$GIT_REF" time git fetch {depth} "$GIT_URL" "$GIT_REF"
git reset --hard "$GIT_SHA" time git reset --hard "$GIT_SHA"
""".format(depth="--depth 100" if shallow else "")) """.format(depth="--depth 100" if shallow else ""))
def with_curl_script(self, url, file_path): def with_curl_script(self, url, file_path):