mirror of
https://github.com/apache/nuttx.git
synced 2026-05-14 19:38:39 +08:00
zhanghongyu
404616d621
Minimize the size of the docker image Signed-off-by: zhanghongyu <zhanghongyu@xiaomi.com>
CI Tools
These are tools and data used for the CI system. Some of what is here may also be useful for local testing.