Skip to content

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

Merged
NiJingzhe merged 3 commits into
masterfrom
dev
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

fix(editor): remove the header's jump-to-marimo button

fb7218b
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar