Repository navigation

Editor: reliable publish-error reporting, workspace-scan scope docs, drop the marimo button - #48

Merged

NiJingzhe merged 3 commits into

Oct 14, 2026

Merged

Editor: reliable publish-error reporting, workspace-scan scope docs, drop the marimo button#48
NiJingzhe merged 3 commits into
masterfrom
dev

Commits on Oct 14, 2026
- fix(editor): a failed publish is told on every run someone asked for, and to a late page
  
  NiJingzhe
  and
  claude
  committed
  678cc0f
- docs(skill): which notebooks the workspace scan lists
  
  NiJingzhe
  and
  claude
  committed
  f33a848
- fix(editor): remove the header's jump-to-marimo button
  
  NiJingzhe
  and
  claude
  committed
  fb7218b