mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-14 21:08:46 +00:00
Code Activity

Update azure-pipeline.vs.yaml for Azure Pipelines

Browse source
This commit is contained in:
Nikolaj Bjorner 2019-06-05 00:40:53 +02:00 committed by Nuno Lopes
parent 1c89fd32b5
commit 3f7a2105d9
1 changed files with 10 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
scripts/azure-pipeline.vs.yaml
View file

@ -3,6 +3,9 @@ pool:
steps: steps:
- script: git clone https://github.com/z3prover/bin bin
- task: DotNetCoreInstaller@0 - task: DotNetCoreInstaller@0
displayName: 'Use .NET Core sdk 2.1' displayName: 'Use .NET Core sdk 2.1'
inputs: inputs:
@ -17,4 +20,11 @@ steps:
inputs: inputs:
filename: 'scripts/mk_win_dist.cmd' filename: 'scripts/mk_win_dist.cmd'
- script: xcopy dist\z3-4.8.6-x86-win\*.zip bin\nightly\* /y
- script: xcopy dist\z3-4.8.6-x64-win\*.zip bin\nightly\* /y
- script: cd bin\nightly
- script: git add *.zip
- script: git commit -s -a
- script: git push