Join GitHub today
GitHub is home to over 36 million developers working together to host and review code, manage projects, and build software together.Sign up
Set up CI on Windows #118
This pull request integrates the project with the free tier in Azure Pipelines so that we can get CI on Windows. The pull request also fixes several Windows issues in the test suite related to improper handling of file encodings.
Once the pull request is merged, we should mark the Windows CI as a required check in the master branch policy.