diff options
| author | hathach <[email protected]> | 2026-06-30 13:35:35 +0700 |
|---|---|---|
| committer | hathach <[email protected]> | 2026-06-30 13:35:35 +0700 |
| commit | 36667740cbd8c7db17304be0a1eea201590d25e0 (patch) | |
| tree | e9285fcff4f12fa92bb10bb66f11266e966b5459 /tools | |
| parent | aa7db172caab24460592ec881d69f895f1a50e2b (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-x | tools/build.py | 1 |
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'] |
