Niccolò Maggioni 0f005b7b8c tools/ci: Include fetching pico-sdk in the CI environment setup ...

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>

2025-08-20 02:23:37 +08:00

..

Dockerfile

tools/ci: Include fetching pico-sdk in the CI environment setup

2025-08-20 02:23:37 +08:00