.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 <marc.herbert@intel.com>
This commit is contained in:
Marc Herbert 2023-10-20 15:53:35 -07:00 committed by Kai Vehmanen
parent 4bc6488b24
commit 92fa7952d0
1 changed files with 3 additions and 3 deletions

View File

@ -133,7 +133,7 @@ jobs:
- name: west clones - name: west clones
run: pip3 install west && cd workspace/sof/ && west init -l && 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 - name: select zephyr revision
run: | run: |
@ -149,7 +149,7 @@ jobs:
sed -e "s#=sof_zephyr_revision_override=#${rem_rev}#" \ sed -e "s#=sof_zephyr_revision_override=#${rem_rev}#" \
sof-ci-jenkins/zephyr-override-template.yml > test-zephyr-main.yml 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 fi
# Because we used git tricks to speed things up, we now have two git # Because we used git tricks to speed things up, we now have two git
@ -167,7 +167,7 @@ jobs:
# both issues in no time. # both issues in no time.
cd zephyr 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 git branch -D _branch_placeholder
set -x set -x