CI: Switch to new Windows runners
They use powershell instead of cmd.exe, use the tag win32-ps instead of win32, and run Windows 2016 instead of 2012r2.
The old runners will be switched off in the comming weeks.
They use powershell instead of cmd.exe, use the tag win32-ps instead of win32, and run Windows 2016 instead of 2012r2.
The old runners will be switched off in the comming weeks.