Skip to content

Progress, a folded transcript, and links between the graph and the log - #6

Merged
punnerud merged 1 commit into
mainfrom
feat/ui-progress-and-graph-links
Aug 10, 2026
Merged

Progress, a folded transcript, and links between the graph and the log#6
punnerud merged 1 commit into
mainfrom
feat/ui-progress-and-graph-links

Commits

Commits on Aug 10, 2026