From a74046a3b66814ea807f9ada9f6bdc35664765eb Mon Sep 17 00:00:00 2001 From: Simon Sapin Date: Sat, 16 Nov 2019 14:15:15 +0100 Subject: [PATCH] Print timing of git operations --- etc/taskcluster/decisionlib.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/etc/taskcluster/decisionlib.py b/etc/taskcluster/decisionlib.py index 5009e939825..d89e944b6b3 100644 --- a/etc/taskcluster/decisionlib.py +++ b/etc/taskcluster/decisionlib.py @@ -597,8 +597,8 @@ class UnixTaskMixin(Task): .with_early_script(""" git init repo cd repo - git fetch {depth} "$GIT_URL" "$GIT_REF" - git reset --hard "$GIT_SHA" + time git fetch {depth} "$GIT_URL" "$GIT_REF" + time git reset --hard "$GIT_SHA" """.format(depth="--depth 100" if shallow else "")) def with_curl_script(self, url, file_path):