mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 01:24:08 +00:00
missing argument
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
16aa50aadc
commit
8f61659374
|
@ -11,7 +11,7 @@ steps:
|
|||
inputs:
|
||||
secureFile: 'z3.snk'
|
||||
|
||||
- script: scripts\vsts-vs2017.cmd
|
||||
- script: scripts\vsts-vs2017.cmd x64
|
||||
|
||||
- script: scripts\vsts-vs2013.cmd
|
||||
|
||||
|
|
Loading…
Reference in a new issue