summaryrefslogtreecommitdiff
path: root/bsp/raspberry-pico
diff options
context:
space:
mode:
authorMeco Man <[email protected]>2024-02-13 08:51:23 -0500
committerGitHub <[email protected]>2024-02-13 21:51:23 +0800
commit35eea4bc461133d431d457328f1cf987ebc2f787 (patch)
tree2fcbb26d448420c8df480bde778a5f2426bb56e3 /bsp/raspberry-pico
parent186fbbf851096cb0a94c3809bd05e11d69278942 (diff)
[ci][arduino] 将Arduino库CI检查平台由STM32F411改为412 (#8534)
Diffstat (limited to 'bsp/raspberry-pico')
-rw-r--r--bsp/raspberry-pico/.ci/attachconfig/rtduino.attach4
1 files changed, 4 insertions, 0 deletions
diff --git a/bsp/raspberry-pico/.ci/attachconfig/rtduino.attach b/bsp/raspberry-pico/.ci/attachconfig/rtduino.attach
index c14014d5c7..55e991c802 100644
--- a/bsp/raspberry-pico/.ci/attachconfig/rtduino.attach
+++ b/bsp/raspberry-pico/.ci/attachconfig/rtduino.attach
@@ -1,2 +1,6 @@
# scons: --strict
CONFIG_BSP_USING_ARDUINO=y
+
+# check some important arduino libraries
+CONFIG_PKG_USING_ARDUINO_TENSORFLOW_LITE_MICRO=y
+CONFIG_PKG_USING_ARDUINO_TENSORFLOW_LITE_MICRO_EXAMPLE_HELLO_WORLD=y