Skip to content

Commit 4eefe78

Browse files
dlechdpgeorge
authored andcommitted
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>
1 parent d02f089 commit 4eefe78

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

.github/workflows/code_size.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -28,7 +28,7 @@ jobs:
2828
- name: Build
2929
run: source tools/ci.sh && ci_code_size_build
3030
- name: Compute code size difference
31-
run: tools/metrics.py diff ~/size0 ~/size1 | tee > diff
31+
run: tools/metrics.py diff ~/size0 ~/size1 | tee diff
3232
- name: Save PR number
3333
if: github.event_name == 'pull_request'
3434
env:

0 commit comments

Comments
 (0)