diff options
| author | Jeff Epler <jepler@gmail.com> | 2025-09-03 13:46:37 -0500 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2025-10-08 15:08:28 +1100 |
| commit | 0224b998636af09157a033933012e669cf12a071 (patch) | |
| tree | 054f401cee4c0d7772bf6c18c94f3a125682ff65 /tools/metrics.py | |
| parent | 77729fe3f7198dc5c6f353ec78856159544c7abf (diff) | |
tools/ci.sh: Add and use new ci_code_size_report function.
Signed-off-by: Jeff Epler <jepler@unpythonic.net>
Diffstat (limited to 'tools/metrics.py')
0 files changed, 0 insertions, 0 deletions