Skip to content

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

Merged
jotabulacios merged 6 commits into
mainfrom
pr/recursion-guest
Jul 2, 2026
Merged

test(recursion): memory-bounded execute/prove smoke tests; wire CI#750
jotabulacios merged 6 commits into
mainfrom
pr/recursion-guest

test(recursion): CI runs execute-only tier; manual prove uses smaller…

307e747
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar