mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-26 18:45:33 +00:00
Code Activity

Automatically push release pipeline packages to nuget.org (#4249)

Browse source
This commit is contained in:
Andrew Helwer 2020-05-07 17:31:27 -07:00 • committed by GitHub
parent cceae2e3f0
commit b42ea38028
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 9 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

18
scripts/release.yml
View file

@ -291,16 +291,16 @@ stages:
inputs:
artifact: 'NuGetPackage'
path: $(Agent.TempDirectory)
- task: NuGetAuthenticate@0
- task: NuGetToolInstaller@0
inputs:
nuGetServiceConnections: Z3Nuget
# - task: NuGetCommand@2
# inputs:
# command: push
# nuGetFeedType: external
# feedsToUse: select
# includeNuGetOrg: true
# packagesToPush: $(Agent.TempDirectory)
versionSpec: 5.x
checkLatest: false
- task: NuGetCommand@2
inputs:
command: push
nuGetFeedType: External
publishFeedCredentials: Z3Nuget
packagesToPush: $(Agent.TempDirectory)/*.nupkg
- job: PyPIPublish
displayName: "Publish to PyPI"