mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 17:44:08 +00:00
Shorten public feed to Z3Nightly
This commit is contained in:
parent
bb4a2b97b6
commit
a4af26e2f0
|
@ -492,14 +492,14 @@ stages:
|
|||
displayName: 'NuGet Nightly x64 push'
|
||||
inputs:
|
||||
command: push
|
||||
publishVstsFeed: 'Z3-Public-Nightly'
|
||||
publishVstsFeed: 'Z3Nightly'
|
||||
packagesToPush: $(Agent.TempDirectory)/x64/*.nupkg
|
||||
allowPackageConflicts: true
|
||||
- task: NuGetCommand@2
|
||||
displayName: 'NuGet Nightly x86 push'
|
||||
inputs:
|
||||
command: push
|
||||
publishVstsFeed: 'Z3-Public-Nightly'
|
||||
publishVstsFeed: 'Z3Nightly'
|
||||
packagesToPush: $(Agent.TempDirectory)/x86/*.nupkg
|
||||
allowPackageConflicts: true
|
||||
|
||||
|
|
Loading…
Reference in a new issue