nmaggioni opened a new pull request, #16862: URL: https://github.com/apache/nuttx/pull/16862
## Summary Part of #16855. 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. ## Impact The Raspberry Pi pico-sdk will now be available in the CI build process. ## Testing Limited testing was done locally on a Linux host, but the full CI pipeline can only be tested here. -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: commits-unsubscr...@nuttx.apache.org For queries about this service, please contact Infrastructure at: us...@infra.apache.org
