diff options
author | Andrew Leech <andrew@alelec.net> | 2022-05-26 13:21:55 +1000 |
---|---|---|
committer | Damien George <damien@micropython.org> | 2022-06-03 14:35:52 +1000 |
commit | b92e51efe740dc7704bbb0ea47c4fb12be25672d (patch) | |
tree | 272706be023fa089f9acd91661678846c2cf4eec /py/persistentcode.c | |
parent | b7a39ad2d19a5be4b5a1a16c184e08be0d602b1a (diff) |
tools/ci.sh: Add build of W5100S_EVB_PICO board to rp2 CI.
This exercises the inclusion of a number of libraries in the rp2 port
including mbedtls and lwip.
Signed-off-by: Andrew Leech <andrew@alelec.net>
Diffstat (limited to 'py/persistentcode.c')
0 files changed, 0 insertions, 0 deletions