.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 <[email protected]> (cherry picked from commit 92fa795) Signed-off-by: Kai Vehmanen <[email protected]>
thesofproject · Oct 23, 2023 · 866d0b3 · 866d0b3
1 parent b9c2366
commit 866d0b3
Showing 1 changed file with 3 additions and 3 deletions.
diff --git 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