diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml index 6f195da13..ade4fe92f 100644 --- a/scripts/nightly.yaml +++ b/scripts/nightly.yaml @@ -441,6 +441,7 @@ stages: artifactName: 'NuGet32' targetPath: tmp - task: GitHubRelease@0 + continueOnError: true inputs: gitHubConnection: Z3GitHub repositoryName: 'Z3Prover/z3' @@ -448,8 +449,8 @@ stages: # target: '$(Build.SourceVersion)' tagSource: 'manual' tag: 'Nightly' - continueOnError: true - task: GitHubRelease@0 + continueOnError: true inputs: gitHubConnection: Z3GitHub repositoryName: 'Z3Prover/z3' @@ -464,12 +465,11 @@ stages: assetUploadMode: 'replace' isDraft: false isPreRelease: true - continueOnError: true -- stage: NugetPublishNightly +- stage: Publish jobs: # Publish to nightly feed on Azure - - job: NuGetPublishNightly + - job: NuGetNightly displayName: "Push nuget packages to Azure Feed" steps: - task: NuGetAuthenticate@0