diff options
| author | Jeff Epler <jepler@gmail.com> | 2025-09-03 13:50:28 -0500 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2025-10-08 15:08:41 +1100 |
| commit | 449866cb0af3fc547df6538a6552517cc8974616 (patch) | |
| tree | d703312682d966e7c03fc78eda79dc8a85543a67 /tools/metrics.py | |
| parent | 0224b998636af09157a033933012e669cf12a071 (diff) | |
tools/ci.sh: Exit with error if zcat fails during ci_esp8266_setup.
Signed-off-by: Jeff Epler <jepler@unpythonic.net>
Diffstat (limited to 'tools/metrics.py')
0 files changed, 0 insertions, 0 deletions