[Git][ghc/ghc][master] 3 commits: CI: Fix and clean up capture of timings