GDS hosts a CF instance called PaaS (Platform as a Service) which hosts web applications on *.cloudapps.digital but the majority of the actual GOV.UK estate is hosted in AWS, as is GOV.UK Verify. I believe GOV.UK Pay might be on PaaS and a lot of internal tooling is.
(Source: have worked at GDS for the past couple of years.)
(Source: have worked at GDS for the past couple of years.)