heavy_ci.sh: use time --quiet to fix parsing stats on abnormal exit #143

Closed pinkiebell closed 1 year ago