From 4eefe78e8ed409641f30ad6c0edca8ca07a8e934 Mon Sep 17 00:00:00 2001 From: David Lechner Date: Fri, 13 Jan 2023 11:07:47 -0600 Subject: [PATCH] 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 --- .github/workflows/code_size.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/code_size.yml b/.github/workflows/code_size.yml index de75bfe08f..5d955703b6 100644 --- a/.github/workflows/code_size.yml +++ b/.github/workflows/code_size.yml @@ -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: