Skip to content

Benchmark downloader script should take the latest score, not the smallest#8707

Merged
mergify[bot] merged 1 commit intodevelopfrom wip/akirathan/fix-bench-dataJan 8, 2024