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 /lib/embedded-cli/embedded_cli.h | |
| 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 'lib/embedded-cli/embedded_cli.h')
0 files changed, 0 insertions, 0 deletions