diff options
| author | Jeff Epler <jepler@gmail.com> | 2025-09-03 13:45:17 -0500 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2025-10-08 15:08:55 +1100 |
| commit | f982158f42df65f2ddf295df9b92d74be6357d44 (patch) | |
| tree | 1cb6863d95ecd482f57b50f423edee53ea35e1fe /tools/metrics.py | |
| parent | 2c34497bd1f7edfbe288a0ddab28ee953d034cea (diff) | |
tools/ci.sh: Let code_size_build be customized via environment.
For instance, to compare HEAD to origin/master on only the minimal x86
build, use
PORTS_TO_CHECK=m REFERENCE=origin/master tools/ci.sh code_size_build
Signed-off-by: Jeff Epler <jepler@unpythonic.net>
Diffstat (limited to 'tools/metrics.py')
0 files changed, 0 insertions, 0 deletions