diff options
| author | Jeff Epler <jepler@unpythonic.net> | 2025-09-26 15:30:09 -0500 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2025-10-08 15:09:41 +1100 |
| commit | 13d49751f4f656c4ea12f3ed4cde2c404cf557ae (patch) | |
| tree | a22945c085432f9882cb9e155ca487b3d6878d48 /docs/reference/pyboard.py.rst | |
| parent | 61988ee8fa86a3b6bf017355b4fb04238112dd35 (diff) | |
tools/ci.sh: Re-add IGNORE_ERRORS to ci_code_size_build.
It was removed (possibly inadvertently)
in 4c55b0879b38b373b44e84552d6754b7842b5b72
Signed-off-by: Jeff Epler <jepler@unpythonic.net>
Diffstat (limited to 'docs/reference/pyboard.py.rst')
0 files changed, 0 insertions, 0 deletions