
<html><head><meta http-equiv="Content-Type" content="text/html; charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">Hi devs,<div class=""><br class=""></div><div class="">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: <a href="https://circleci.com/gh/goldfirere/ghc/12" class="">https://circleci.com/gh/goldfirere/ghc/12</a></div><div class=""><br class=""></div><div class="">This is a tiny patch on top of HEAD; I can't imagine my patch is at fault here.</div><div class=""><br class=""></div><div class="">Does anyone know what settings I should look into to fix this?</div><div class=""><br class=""></div><div class="">Thanks!</div><div class="">Richard</div></body></html>