Update test.lean#126

roozbeh-mohit wants to merge 3 commits into

openai:mainopenai/miniF2F:mainfrom

roozbeh-mohit:main-1roozbeh-mohit/miniF2F:main-1Copy head branch name to clipboard