Closed michaelp closed 5 years ago
I choose Azure pipelines since they are free and I find their integration with Github superior to other alternatives
Would there be any thoughts or objections to the idea of changing it to use GitHub actions?
Reasoning: The current CI setup doesn't seem to integrate status reporting into pull requests (even though the builds are actually being done over in Azure), and I think GitHub actions is up to doing everything needed now (running the CI builds on both Windows and Linux for example)
Ok, looking again I see that there are results visible here for merges to the main branch, but not for pull requests, so maybe it's just that the config needs tweaking to get PR results.