mirror of
https://github.com/apache/nuttx.git
synced 2025-12-13 23:17:11 +08:00
to fix ci error about https://github.com/apache/nuttx/pull/14070 Signed-off-by: wanggang26 <wanggang26@xiaomi.com>
to fix ci error about https://github.com/apache/nuttx/pull/14070 Signed-off-by: wanggang26 <wanggang26@xiaomi.com>