From 4ae991fd886ecbe53b72d99c241a7ed1c4ee30b1 Mon Sep 17 00:00:00 2001 From: hathach Date: Tue, 30 Jun 2026 13:37:29 +0700 Subject: [PATCH] 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) --- tools/build.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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']