Re: [GHC] #15506: CI setup should build and run nofib