What should we add?

We've been using azure pipelines as our primary CI provider for ~5 years now. We have continued to use it because it provided an isolated pool of resources without a share quota with any other repositories. But we're at a point now where the shared quota isn't an issue and running with github actions would likely improve our total commit throughput. We should look at migrating all of our CI job definitions from azure into github actions.