nuttx/tools/ci/platforms
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
..
darwin.sh ci/platforms/darwin.sh: bump Xtensa ESP32|S2|S3 toolchain 2025-07-18 22:36:29 +08:00
darwin_arm64.sh ci/platforms/darwin_arm64.sh: bump Xtensa ESP32|S2|S3 toolchain 2025-07-18 22:36:29 +08:00
linux.sh tools/ci: Include fetching pico-sdk in the CI environment setup 2025-08-20 02:23:37 +08:00
msys2.sh ci/platforms/msys2.sh: bump Xtensa ESP32|S2|S3 toolchain 2025-07-18 22:36:29 +08:00
ubuntu.sh tools/ci: Include fetching pico-sdk in the CI environment setup 2025-08-20 02:23:37 +08:00
windows.ps1 ci/platforms/windows.ps1: bump risc-v toolchain 2025-07-16 01:16:36 +08:00