Repository navigation

feat(proof): proof receipts, so CI can skip work a machine already proved - #18

Closed

SpoBo wants to merge 8 commits into

Closed

feat(proof): proof receipts, so CI can skip work a machine already proved#18
SpoBo wants to merge 8 commits into
masterfrom
proof-receipts

Commits on Oct 9, 2026
- feat(proof): receipts that publish locally passed checks as commit statuses, so CI can skip proven work
  
  SpoBo
  and
  claude
  committed
  9f46c20
- feat(proof): --publish after a receipt, full receipts win over partial ones, check runs unknown ids
  
  SpoBo
  and
  claude
  committed
  09aff27
- style: cargo fmt
  
  SpoBo
  and
  claude
  committed
  3d84b4a
- feat(proof): --publish watches the branch on GitHub, so the checkout may go away; check stops waiting on a gh error
  
  SpoBo
  and
  claude
  committed
  3dcd48c
- test: drop an unused mut
  
  SpoBo
  and
  claude
  committed
  9698cdc
- Merge origin/master (0.8.0) into proof-receipts
  
  SpoBo
  and
  claude
  committed
  998d630
- feat(proof)!: v2 receipts: no policy file, publish by itself, check by name
  
  SpoBo
  and
  claude
  committed
  b1d78c4
- fix(proof): one publish log per repo; say that any commit with the tested files gets the status
  
  SpoBo
  and
  claude
  committed
  1270258