diff options
| author | Damien George <damien@micropython.org> | 2025-05-31 13:44:03 +1000 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2025-06-05 14:57:23 +1000 |
| commit | 4c55b0879b38b373b44e84552d6754b7842b5b72 (patch) | |
| tree | 54a6a783ed2e8def27a38534c9c81a856cdf258d /docs/esp32/quickref.rst | |
| parent | 193603dbac9712df5a54f4cecf3cab17851e2ce8 (diff) | |
tools/ci.sh: Allow errors in code-size build to fail the CI.
It was possible for CI to pass even if the bare-arm port fails to build.
This commit fixes that.
Signed-off-by: Damien George <damien@micropython.org>
Diffstat (limited to 'docs/esp32/quickref.rst')
0 files changed, 0 insertions, 0 deletions