Fix GAIA build target docs: binary-minimal -> binary#667

simonrosenberg wants to merge 1 commit into

mainOpenHands/benchmarks:mainfrom

openhands/fix-gaia-build-target-docsOpenHands/benchmarks:openhands/fix-gaia-build-target-docsCopy head branch name to clipboard