Skip to content

Add demo that showcases RunProof verification workflow with broken app and run scripts - #1

Merged
sebamar88 merged 1 commit into
mainfrom
codex/create-demo-folder-in-repo
May 8, 2026
Merged

sebamar88 merged 1 commit into
mainfrom
codex/create-demo-folder-in-repo

Use normal RunProof workflow in demo

ca69ca9
Select commit
Loading
Failed to load commit list.