mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 17:44:08 +00:00
fix authentication input
This commit is contained in:
parent
16f47954c0
commit
13a33a3966
|
@ -471,7 +471,8 @@ stages:
|
|||
steps:
|
||||
- task: NuGetAuthenticate@0
|
||||
displayName: 'NuGet Authenticate'
|
||||
inputs: Z3NightlyNuget
|
||||
inputs:
|
||||
nuGetServiceConnections: Z3NightlyNuget
|
||||
- task: NuGetToolInstaller@0
|
||||
inputs:
|
||||
versionSpec: 5.x
|
||||
|
|
Loading…
Reference in a new issue