Add timeout to benchmarking
Kobzol opened this issue · comments
Jakub Beránek commented
Sometimes the compiler can deadlock or run for a very long time, so it would be nice if we could add a timeout so that the benchmarking run on the server doesn't have to be cancelled manually.