mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 09:34:08 +00:00
Update azure-pipeline.vs.yaml for Azure Pipelines
This commit is contained in:
parent
f379a3f8b3
commit
c83c3a5fd7
|
@ -8,6 +8,9 @@ steps:
|
|||
inputs:
|
||||
version: 2.1.300
|
||||
|
||||
- task: DownloadSecureFile@1
|
||||
inputs:
|
||||
secureFile: 'z3.snk'
|
||||
|
||||
- task: BatchScript@1
|
||||
displayName: 'run windist'
|
||||
|
|
Loading…
Reference in a new issue