GitHub Actions is faster and much better integrated into GitHub than Azure Pipelines, and is in general easier to use. Therefore, switch to GitHub Actions for our Windows builds and tests.
