summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorhathach <[email protected]>2026-06-30 13:35:35 +0700
committerhathach <[email protected]>2026-06-30 13:35:35 +0700
commit36667740cbd8c7db17304be0a1eea201590d25e0 (patch)
treee9285fcff4f12fa92bb10bb66f11266e966b5459 /tools
parentaa7db172caab24460592ec881d69f895f1a50e2b (diff)
build.py: prefer pico/pico2 for rp2040 CI; skill: drop one-time 0.20.0 backfill note
- ci_preferred_boards: rp2040 -> raspberry_pi_pico, raspberry_pi_pico2 so the one-board CI/metrics build uses a Pico (the first-alphabetical board failed). - make-release skill: the metrics backfill was a one-time 0.20.0 task, not a recurring release step; keep only the CI auto-compare note. Co-Authored-By: Claude Opus 4.8 (1M context) <[email protected]>
Diffstat (limited to 'tools')
-rwxr-xr-xtools/build.py1
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/build.py b/tools/build.py
index 86bc30d28..fe0d302c8 100755
--- a/tools/build.py
+++ b/tools/build.py
@@ -39,6 +39,7 @@ ci_skip_boards = {
}
ci_preferred_boards = {
+ 'rp2040': ['raspberry_pi_pico', 'raspberry_pi_pico2'],
'samd2x_l2x': ['metro_m0_express'],
'samd5x_e5x': ['metro_m4_express'],
'stm32h7': ['stm32h743eval']