mirror of
https://github.com/micropython/micropython.git
synced 2026-01-05 11:40:18 +01:00
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>