Skip to content

feat(ui/tree): implement ProofCodeTreeDataProvider for VS Code Activity Bar overview - #25

Merged
waleedcodes merged 3 commits into
workingfrom
pr-25-src-ui-treeDataProvider
Oct 9, 2026
Merged

feat(ui/tree): implement ProofCodeTreeDataProvider for VS Code Activity Bar overview#25
waleedcodes merged 3 commits into
workingfrom
pr-25-src-ui-treeDataProvider

feat(ui): add What Could Break tree node and dynamic refresh event em…

d178ffa
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar