walnux/tools/ci
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
..
docker/linux tools/ci: Include fetching pico-sdk in the CI environment setup 2025-08-20 02:23:37 +08:00
platforms tools/ci: Include fetching pico-sdk in the CI environment setup 2025-08-20 02:23:37 +08:00
testlist tools/ci: temporarily disable test of esp32-devkitc:nxlooper 2025-07-18 14:55:52 -03:00
testrun style: fix spelling in code comments and strings 2025-05-23 10:48:41 +08:00
cibuild.ps1 tools/ci: Added CI system on Windows Native 2025-03-19 19:59:44 +08:00
cibuild.sh CI: Improved speed to build nuttx on MSYS2 job 2025-03-26 22:35:19 +08:00
cirun.sh tools: migrate to SPDX identifier 2024-09-10 23:11:11 +08:00
README.md

CI Tools

These are tools and data used for the CI system. Some of what is here may also be useful for local testing.