diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml index f412c41f9..ab59ee004 100644 --- a/scripts/nightly.yaml +++ b/scripts/nightly.yaml @@ -396,6 +396,7 @@ stages: jobs: - job: Deploy displayName: "Deploy into GitHub" + continueOnError: true pool: vmImage: "ubuntu-latest" steps: @@ -440,6 +441,7 @@ stages: artifactName: 'NuGet32' targetPath: tmp - task: GitHubRelease@0 + continueOnError: true inputs: gitHubConnection: Z3GitHub repositoryName: 'Z3Prover/z3' @@ -448,6 +450,7 @@ stages: tagSource: 'manual' tag: 'Nightly' - task: GitHubRelease@0 + continueOnError: true inputs: gitHubConnection: Z3GitHub repositoryName: 'Z3Prover/z3' @@ -489,14 +492,14 @@ stages: displayName: 'NuGet Nightly x64 push' inputs: command: push - publishVstsFeed: 'Z3Build/Z3-Nightly-builds' + publishVstsFeed: 'Z3Nightly' packagesToPush: $(Agent.TempDirectory)/x64/*.nupkg allowPackageConflicts: true - task: NuGetCommand@2 displayName: 'NuGet Nightly x86 push' inputs: command: push - publishVstsFeed: 'Z3Build/Z3-Nightly-builds' + publishVstsFeed: 'Z3Nightly' packagesToPush: $(Agent.TempDirectory)/x86/*.nupkg allowPackageConflicts: true