github/workflows/code_size: Print code size change.

The intention of using `tee` is to both print the code size change in
the CI logs and save them to a file. Using redirection to a file
caused it to not print the changes.

Signed-off-by: David Lechner <david@pybricks.com>
This commit is contained in:
David Lechner 2023-01-13 11:07:47 -06:00 committed by Damien George
parent d02f089058
commit 4eefe78e8e
1 changed files with 1 additions and 1 deletions

View File

@ -28,7 +28,7 @@ jobs:
- name: Build
run: source tools/ci.sh && ci_code_size_build
- name: Compute code size difference
run: tools/metrics.py diff ~/size0 ~/size1 | tee > diff
run: tools/metrics.py diff ~/size0 ~/size1 | tee diff
- name: Save PR number
if: github.event_name == 'pull_request'
env: