No, they run GitLab because GitHub Enterprise is a horrible thing nobody has ever said a good thing about.

GitLab even has a free self-hosted version, and it has a number of advantages (like being able to actually have a structure with inherited secrets and accesses, and no, GitHub Organisations do not count and suck). And for years thanks to GitLab-CI it was clearly ahead.