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 | |
| 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]>
| -rwxr-xr-x | tools/build.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/build.py b/tools/build.py index fe0d302c8..5eaaeb513 100755 --- a/tools/build.py +++ b/tools/build.py @@ -39,7 +39,7 @@ ci_skip_boards = { } ci_preferred_boards = { - 'rp2040': ['raspberry_pi_pico', 'raspberry_pi_pico2'], + 'rp2040': ['raspberry_pi_pico'], 'samd2x_l2x': ['metro_m0_express'], 'samd5x_e5x': ['metro_m4_express'], 'stm32h7': ['stm32h743eval'] |