diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml index 5998525dc..ab59ee004 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,7 +465,6 @@ stages: assetUploadMode: 'replace' isDraft: false isPreRelease: true - continueOnError: true - stage: NugetPublishNightly jobs: