diff options
| author | iabdalkader <i.abdalkader@gmail.com> | 2022-11-15 14:16:06 +0100 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2022-11-16 09:47:06 +1100 |
| commit | 3bae10417edbb37b2489065f2a1a17486eaf4dc2 (patch) | |
| tree | 47e704321a017a104ca403717057e9c442d0b3ad | |
| parent | b9c1e4c20555a963ffa173781cb26ffe7fadd446 (diff) | |
tools/ci.sh: Add ARDUINO_NANO_RP2040_CONNECT to rp2 CI build.
| -rwxr-xr-x | tools/ci.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/tools/ci.sh b/tools/ci.sh index 86fd44fdf..ee205b429 100755 --- a/tools/ci.sh +++ b/tools/ci.sh @@ -284,6 +284,10 @@ function ci_rp2_build { make ${MAKEOPTS} -C ports/rp2 USER_C_MODULES=../../examples/usercmodule/micropython.cmake make ${MAKEOPTS} -C ports/rp2 BOARD=W5100S_EVB_PICO submodules make ${MAKEOPTS} -C ports/rp2 BOARD=W5100S_EVB_PICO + + # Test building ninaw10 driver and NIC interface. + make ${MAKEOPTS} -C ports/rp2 BOARD=ARDUINO_NANO_RP2040_CONNECT submodules + make ${MAKEOPTS} -C ports/rp2 BOARD=ARDUINO_NANO_RP2040_CONNECT } ######################################################################################## |