8000 tools/ci.sh: Add RPI_PICO2 to CI. · holdenweb/micropython@f9cebe6 · GitHub
[go: up one dir, main page]
Skip to content

Commit f9cebe6

Browse files
dpgeorgedpgeorge
committed
tools/ci.sh: Add RPI_PICO2 to CI.
Signed-off-by: Damien George <damien@micropython.org>
1 parent e32e13f commit f9cebe6

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

‎tools/ci.sh

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -309,6 +309,8 @@ function ci_rp2_build {
309309
make ${MAKEOPTS} -C ports/rp2
310310
make ${MAKEOPTS} -C ports/rp2 BOARD=RPI_PICO_W submodules
311311
make ${MAKEOPTS} -C ports/rp2 BOARD=RPI_PICO_W USER_C_MODULES=../../examples/usercmodule/micropython.cmake
312+
make ${MAKEOPTS} -C ports/rp2 BOARD=RPI_PICO2 submodules
313+
make ${MAKEOPTS} -C ports/rp2 BOARD=RPI_PICO2
312314
make ${MAKEOPTS} -C ports/rp2 BOARD=W5100S_EVB_PICO submodules
313315
make ${MAKEOPTS} -C ports/rp2 BOARD=W5100S_EVB_PICO
314316

0 commit comments

Comments
 (0)
0