It looks like benchmarksgame-team.pages.debian.net/benchmarksga... is now reporting build times, which is probably the best benchmark on the whole page

1 likes 0 replies