Code

lean: Add missing arguments to rank#240

Code

Merged

GeorgeTsoukalas merged 3 commits intotrishullab:maintrishullab/PutnamBench:mainfrom eric-wieser:rankeric-wieser/PutnamBench:rankCopy head branch name to clipboardOct 29, 2024

+4-4

Commits

Commits on Oct 28, 2024

• Add missing arguments to rank

  eric-wieser

  committed
  f99343d

  Copy full SHA for f99343d

Commits on Oct 29, 2024

• Merge branch 'main' into rank

  GeorgeTsoukalas

  authored
  ea4c80c

  Copy full SHA for ea4c80c

• Add back trailing newline

  eric-wieser

  authored
  0531062

  Copy full SHA for 0531062