tools/ci.sh: Add RPI_PICO2 to CI.
Signed-off-by: Damien George <damien@micropython.org>
This commit is contained in:
parent
e32e13f7e4
commit
f9cebe676e
|
@ -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
|
||||
|
||||
|
|
Loading…
Reference in New Issue