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

Update azure-pipeline.vs.yaml for Azure Pipelines

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

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

@ -15,11 +15,14 @@ steps:
inputs: inputs:
secureFile: 'z3.snk' secureFile: 'z3.snk'
- script: dir
- task: BatchScript@1 - task: BatchScript@1
displayName: 'run windist' displayName: 'run windist'
inputs: inputs:
filename: 'scripts/mk_win_dist.cmd' filename: 'scripts/mk_win_dist.cmd'
- script: dir
- script: xcopy dist\z3-4.8.6-x86-win\*.zip bin\nightly\* /y - 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: xcopy dist\z3-4.8.6-x64-win\*.zip bin\nightly\* /y
- script: cd bin\nightly - script: cd bin\nightly