Skip to content

Add opt-in declaration and whole-proof profiling - #258

Draft
ejgallego wants to merge 2 commits into
mainfrom
codex/proof-profiling
Draft

Add opt-in declaration and whole-proof profiling#258
ejgallego wants to merge 2 commits into
mainfrom
codex/proof-profiling

Add opt-in declaration and whole-proof profiling

c21730e
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar