mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 17:44:08 +00:00
Use camel case service name
This commit is contained in:
parent
7bf2df1b7a
commit
16f47954c0
|
@ -471,7 +471,7 @@ stages:
|
|||
steps:
|
||||
- task: NuGetAuthenticate@0
|
||||
displayName: 'NuGet Authenticate'
|
||||
inputs: 'Z3-nightly public nuget feed'
|
||||
inputs: Z3NightlyNuget
|
||||
- task: NuGetToolInstaller@0
|
||||
inputs:
|
||||
versionSpec: 5.x
|
||||
|
|
Loading…
Reference in a new issue