Repository navigation

vscode: clearer Proof Jobs view, proving status bar item, finish notices - #521

Merged

0xGeorgii merged 4 commits into

feat/vscode-prover-uxfrom

feat/vscode-prover-ux-sidebar

Oct 10, 2026

Merged

vscode: clearer Proof Jobs view, proving status bar item, finish notices#521
0xGeorgii merged 4 commits into
feat/vscode-prover-uxfrom
feat/vscode-prover-ux-sidebar

Commits on Oct 10, 2026
- vscode: clearer Proof Jobs view, proving status bar item, finish notices
  
  0xGeorgii
  and
  claude
  committed
  4334495
- vscode: address review of the Proof Jobs view and status bar
  
  0xGeorgii
  and
  claude
  committed
  744ee1c
- vscode: status bar opens the saved result; stale notices do nothing
  
  0xGeorgii
  and
  claude
  committed
  7ceb0c9
- vscode: keep tracking a running job when its re-read fails; no Run Again for Lost
  
  0xGeorgii
  and
  claude
  committed
  f79a65c