diff options
| author | hathach <[email protected]> | 2026-06-30 13:37:29 +0700 |
|---|---|---|
| committer | hathach <[email protected]> | 2026-06-30 13:37:29 +0700 |
| commit | 4ae991fd886ecbe53b72d99c241a7ed1c4ee30b1 (patch) | |
| tree | 8ad40c55763c7d1f74290871a44cb7f9089398c5 /lib/embedded-cli | |
| parent | 36667740cbd8c7db17304be0a1eea201590d25e0 (diff) | |
build.py: keep only raspberry_pi_pico in rp2040 ci_preferred_boards
The one-board selector uses preferred_list[0] anyway, so pico is the board built.
Co-Authored-By: Claude Opus 4.8 (1M context) <[email protected]>
Diffstat (limited to 'lib/embedded-cli')
0 files changed, 0 insertions, 0 deletions