mirror of
https://github.com/apache/nuttx.git
synced 2026-06-07 09:18:00 +08:00
xinbingnan
4800c166ec
Use a wrong command `CMD`, and the correct is `RUN`. That's a low level fault made by me. Signed-off-by: xinbingnan <xinbingnan@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.