Hi devs, I've enabled CircleCI on my GitHub fork of GHC in order to get good validation results. This worked several months ago. But now, I see failures around performance tests: https://circleci.com/gh/goldfirere/ghc/12 https://circleci.com/gh/goldfirere/ghc/12 This is a tiny patch on top of HEAD; I can't imagine my patch is at fault here. Does anyone know what settings I should look into to fix this? Thanks! Richard