mirror of
https://github.com/Z3Prover/z3
synced 2025-08-07 11:41:22 +00:00
fix feed name Z3-Nightly-Builds
This commit is contained in:
parent
0eea1b3970
commit
e7d897bba5
1 changed files with 2 additions and 2 deletions
|
@ -527,14 +527,14 @@ stages:
|
|||
displayName: 'NuGet Nightly x64 push'
|
||||
inputs:
|
||||
command: push
|
||||
publishVstsFeed: 'Z3Build/Z3-Nightly-Build'
|
||||
publishVstsFeed: 'Z3Build/Z3-Nightly-Builds'
|
||||
packagesToPush: $(Agent.TempDirectory)/x64/*.nupkg
|
||||
allowPackageConflicts: true
|
||||
- task: NuGetCommand@2
|
||||
displayName: 'NuGet Nightly x86 push'
|
||||
inputs:
|
||||
command: push
|
||||
publishVstsFeed: 'Z3Build/Z3-Nightly-Build'
|
||||
publishVstsFeed: 'Z3Build/Z3-Nightly-Builds'
|
||||
packagesToPush: $(Agent.TempDirectory)/x86/*.nupkg
|
||||
allowPackageConflicts: true
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue