diff options
| author | Damien George <damien@micropython.org> | 2024-08-09 12:32:48 +1000 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2024-10-15 12:21:10 +1100 |
| commit | f9cebe676e156e8568cf272837917187cc3743a8 (patch) | |
| tree | 7b204a09314765fe638a41e6b393437b93839656 | |
| parent | e32e13f7e4ece573235c67db725b1874a7c89ac6 (diff) | |
tools/ci.sh: Add RPI_PICO2 to CI.
Signed-off-by: Damien George <damien@micropython.org>
| -rwxr-xr-x | tools/ci.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/ci.sh b/tools/ci.sh index feb40cc4f..6f0f23a1c 100755 --- a/tools/ci.sh +++ b/tools/ci.sh @@ -309,6 +309,8 @@ function ci_rp2_build { make ${MAKEOPTS} -C ports/rp2 make ${MAKEOPTS} -C ports/rp2 BOARD=RPI_PICO_W submodules make ${MAKEOPTS} -C ports/rp2 BOARD=RPI_PICO_W USER_C_MODULES=../../examples/usercmodule/micropython.cmake + make ${MAKEOPTS} -C ports/rp2 BOARD=RPI_PICO2 submodules + make ${MAKEOPTS} -C ports/rp2 BOARD=RPI_PICO2 make ${MAKEOPTS} -C ports/rp2 BOARD=W5100S_EVB_PICO submodules make ${MAKEOPTS} -C ports/rp2 BOARD=W5100S_EVB_PICO |