Skip to content

Replace ScaffBench with Fixproof, a sealed benchmark graded by hidden tests - #421

Closed
Marve10s wants to merge 10 commits into
mainfrom
ibrahim/fixproof
Closed

Replace ScaffBench with Fixproof, a sealed benchmark graded by hidden tests#421
Marve10s wants to merge 10 commits into
mainfrom
ibrahim/fixproof

Merge branch 'main' into ibrahim/fixproof

80c1787
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar