Merge branch 'dev' into dev-slice

This commit is contained in:
Daan Leijen 2022-04-14 16:54:04 -07:00
commit f2712f4a8f
3 changed files with 15 additions and 10 deletions

View file

@ -18,7 +18,7 @@ jobs:
displayName: Windows
pool:
vmImage:
windows-2019
windows-2022
strategy:
matrix:
Debug: