From 92fa7952d057dc41ac3c4ec952503a335468bae5 Mon Sep 17 00:00:00 2001 From: Marc Herbert Date: Fri, 20 Oct 2023 15:53:35 -0700 Subject: [PATCH] .github/zephyr: time some fetch commands GitHub conveniently times each step but to reduce step proliferation we sometimes have multiple commands in a single step and lose the ability to time download commands. Prefix them with `time` to restore the data. Signed-off-by: Marc Herbert --- .github/workflows/zephyr.yml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/zephyr.yml b/.github/workflows/zephyr.yml index eb8a58054..402f53102 100644 --- a/.github/workflows/zephyr.yml +++ b/.github/workflows/zephyr.yml @@ -133,7 +133,7 @@ jobs: - name: west clones run: pip3 install west && cd workspace/sof/ && west init -l && - west update --narrow --fetch-opt=--filter=tree:0 + time west update --narrow --fetch-opt=--filter=tree:0 - name: select zephyr revision run: | @@ -149,7 +149,7 @@ jobs: sed -e "s#=sof_zephyr_revision_override=#${rem_rev}#" \ sof-ci-jenkins/zephyr-override-template.yml > test-zephyr-main.yml ) - west update --narrow --fetch-opt=--filter=tree:0 + time west update --narrow --fetch-opt=--filter=tree:0 fi # Because we used git tricks to speed things up, we now have two git @@ -167,7 +167,7 @@ jobs: # both issues in no time. cd zephyr - git fetch --filter=tree:0 "$(git remote |head -n1)" "$rem_rev":_branch_placeholder + time git fetch --filter=tree:0 "$(git remote |head -n1)" "$rem_rev":_branch_placeholder git branch -D _branch_placeholder set -x