Ayke van Laethem de6f831983 ci: switch to GitHub Actions for Windows builds ... 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.		2021-11-04 13:54:21 +01:00
..
workflows	ci: switch to GitHub Actions for Windows builds	2021-11-04 13:54:21 +01:00