[Git][ghc/ghc][wip/andreask/spec_tyfams] Disable trace for ci checks