diff --git a/.github/workflows/code_size.yml b/.github/workflows/code_size.yml
index de75bfe08fa2bcc713cbdbf92b56b44591170fa2..5d955703b666a1eb0ee78af25ba341040f1d4337 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: