Skip to content

feat(cli): add proofpath update and the TUI's /update - #15

Merged
Yigtwxx merged 2 commits into
mainfrom
feat/update-command
Oct 5, 2026
Merged

feat(cli): add proofpath update and the TUI's /update#15
Yigtwxx merged 2 commits into
mainfrom
feat/update-command

test(tui): let the /resolve worker finish before the app closes

a9be853
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar