Repository navigation

Fix/local history bugs - #61

Merged

ChenZhenIO merged 2 commits into

release/v0.7.0from

fix/local-history-bugs

Oct 23, 2026

Merged

Fix/local history bugs#61
ChenZhenIO merged 2 commits into
release/v0.7.0from
fix/local-history-bugs

Commits on Oct 23, 2026
- Enhance Local History search performance, persistence, and restore safety
  albert-gee
  committed
  476ce5e
- Add `WorkspaceFileDecodingException` to retain file snapshots on UTF-8 decoding failure
  albert-gee
  committed
  a2cb98d