Re: [GHC] #14470: CircleCI: Detect number of processors