Continue on error in GitHub tagging

Z3Prover · Mar 24, 2022 · 42da976 · 42da976
1 parent a4af26e
commit 42da976
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
@@ -441,15 +441,16 @@ stages:
         artifactName: 'NuGet32'
         targetPath: tmp
     - task: GitHubRelease@0
+      continueOnError: true 
       inputs:
         gitHubConnection: Z3GitHub
         repositoryName: 'Z3Prover/z3'
         action: 'delete'
 #     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: