[Git][ghc/ghc][wip/mangoiv/metrics-changes] ci: bingus bongus