mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-27 10:55:50 +00:00
Code Activity

Update azure-pipelines.yml for Azure Pipelines

Browse source
This commit is contained in:
Nikolaj Bjorner 2019-06-06 18:06:42 +02:00
parent 2da9f943ba
commit dbbff4e9cd
1 changed files with 12 additions and 17 deletions
Download patch file Download diff file Expand all files Collapse all files

29
azure-pipelines.yml
View file

@ -1,29 +1,24 @@
pool:
name: Hosted
demands: Cmd
vmImage: "vs2017-win2016"
steps:
- task: DotNetCoreInstaller@0
displayName: 'Use .NET Core sdk 2.1'
inputs:
version: 2.1.300
- task: BatchScript@1
displayName: 'scripts\vsts-vs2017.cmd'
- task: DownloadSecureFile@1
inputs:
secureFile: 'z3.snk'
- script: scripts\vsts-vs2017.cmd
- script: scripts\vsts-vs2013.cmd
filename: 'scripts\vsts-vs2017.cmd'