mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 17:44:08 +00:00
remove project from public/org level feed
This commit is contained in:
parent
b8c61ca278
commit
bb4a2b97b6
|
@ -474,8 +474,6 @@ stages:
|
|||
steps:
|
||||
- task: NuGetAuthenticate@0
|
||||
displayName: 'NuGet Authenticate'
|
||||
inputs:
|
||||
nuGetServiceConnections: Z3NightlyNuget
|
||||
- task: NuGetToolInstaller@0
|
||||
inputs:
|
||||
versionSpec: 5.x
|
||||
|
@ -494,14 +492,14 @@ stages:
|
|||
displayName: 'NuGet Nightly x64 push'
|
||||
inputs:
|
||||
command: push
|
||||
publishVstsFeed: 'Z3 Public Nuget/Z3-Public-Nightly'
|
||||
publishVstsFeed: 'Z3-Public-Nightly'
|
||||
packagesToPush: $(Agent.TempDirectory)/x64/*.nupkg
|
||||
allowPackageConflicts: true
|
||||
- task: NuGetCommand@2
|
||||
displayName: 'NuGet Nightly x86 push'
|
||||
inputs:
|
||||
command: push
|
||||
publishVstsFeed: 'Z3 Public Nuget/Z3-Public-Nightly'
|
||||
publishVstsFeed: 'Z3-Public-Nightly'
|
||||
packagesToPush: $(Agent.TempDirectory)/x86/*.nupkg
|
||||
allowPackageConflicts: true
|
||||
|
||||
|
|
Loading…
Reference in a new issue