Repository navigation

test(recursion): memory-bounded execute/prove smoke tests; wire CI - #750

Merged

jotabulacios merged 6 commits into

mainfrom

pr/recursion-guest

Jul 2, 2026

Commits on Jun 30, 2026

test(recursion): memory-bounded execute/prove smoke tests; wire CI
Oppen
committed
da4c3c5
cargo fmt
Oppen
committed
032ac99
a bit of brevity
Oppen
committed
e6f070f
less verbose
Oppen
committed
10cbbf0
re-ignore slow tests, fix cache keys
Oppen
committed
5f6181f

Commits on Jul 1, 2026

test(recursion): CI runs execute-only tier; manual prove uses smaller epochs
Oppen
committed
307e747