Code

Run lean CI in the right directory#173

Code

Merged

amit9oct merged 2 commits intotrishullab:maintrishullab/PutnamBench:mainfrom eric-wieser:patch-1Copy head branch name to clipboardJul 23, 2024

+3

Commits

Commits on Jul 22, 2024

• Run lean CI in the right directory

  eric-wieser

  authored
  08344c8

  Copy full SHA for 08344c8

Commits on Jul 23, 2024

• Alternate spelling

  eric-wieser

  authored
  e26f520

  Copy full SHA for e26f520