mirror of
https://github.com/apache/nuttx.git
synced 2026-02-05 19:56:43 +08:00
0f005b7b8c
The Raspberry Pi pico-sdk was not available in the CI build process, so the test builds for the rp2040 and rp2350 uCs could not execute the last packaging stage. The SDK is now fetched and included, both at runtime and in the Docker image. Signed-off-by: Niccolò Maggioni <nicco.maggioni+nuttx@gmail.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.