mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 18:31:49 +00:00
Try to move using windows latest instead of VS2017
This commit is contained in:
parent
998cf4c726
commit
80d297dca2
|
@ -88,7 +88,7 @@ stages:
|
|||
- job: Windows32
|
||||
displayName: "Windows 32-bit build"
|
||||
pool:
|
||||
vmImage: "vs2017-win2016"
|
||||
vmImage: "windows-latest"
|
||||
steps:
|
||||
- task: CmdLine@2
|
||||
inputs:
|
||||
|
@ -111,7 +111,7 @@ stages:
|
|||
- job: Windows64
|
||||
displayName: "Windows 64-bit build"
|
||||
pool:
|
||||
vmImage: "vs2017-win2016"
|
||||
vmImage: "windows-latest"
|
||||
steps:
|
||||
- task: CmdLine@2
|
||||
inputs:
|
||||
|
|
Loading…
Reference in a new issue