fix(rp2040): consume Windows port health in deploy selection and reacquisition#1153

Merged

zackees merged 11 commits into

mainfrom

fix/1147-rp2040-health-gate

Jul 23, 2026

Commits on Jul 23, 2026

fix(rp2040): consume Windows port health in deploy selection and reacquisition

zackees
and
claude
committed
fix(ci): satisfy pinned formatter tree-wide and non-Windows dead-code gate

zackees
and
claude
committed
fix(ci): mark registry-backed boards doctests no_run

zackees
and
claude
committed
fix(ci): annotate riscv multilib GCC probe for the direct-spawn lint

zackees
and
claude
committed
fix(ci): drop embedded WCH ISP VID/PID from the wchisp failure message

zackees
and
claude
committed
fix(ci): apply nightly import ordering in ban_raw_subprocess dylint

zackees
and
claude
committed
fix(ci): apply nightly import ordering in ban_raw_path_prefix_compare dylint

zackees
and
claude
committed
fix(ci): allowlist riscv toolchain GCC probe in ban_raw_subprocess dylint

zackees
and
claude
committed
fix(ci): allowlist esp32 framework-library cache in ban_raw_path_prefix_compare

zackees
and
claude
committed
fix(ci): force rebuild of ban_raw_path_prefix_compare after allowlist edit

zackees
and
claude
committed
fix(ci): refresh stale dylint @toolchain aliases after rebuilds

zackees
and
claude
committed