Re: [GHC] #14416: CI with CircleCI