Repository navigation

Restore native docs channel picker and fix deploy - #8172

Merged

lawrencecchen merged 2 commits into

mainfrom

feat-docs-picker-bottom

Jul 15, 2026

Merged

Restore native docs channel picker and fix deploy#8172
lawrencecchen merged 2 commits into
mainfrom
feat-docs-picker-bottom

Commits on Jul 15, 2026
- Fix docs deploy Bun action pin
  lawrencecchen
  committed
  b24f517
- Move native docs picker below navigation
  lawrencecchen
  committed
  ebb8601