We just run the benchmarks for now, but don't store the results anywhere. This is motivated to catch issues like ghc#22666 (closed) a bit earlier.