diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index 4ec6fbe8c..12a9f68a3 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -439,19 +439,20 @@ stages:
       inputs:
         artifactName: 'NuGet32'
         targetPath: tmp
-#     - task: GitHubRelease@0
-#       inputs:
-#         gitHubConnection: Z3GitHub
-#         repositoryName: 'Z3Prover/z3'
-#         action: 'delete'
-# #     target: '$(Build.SourceVersion)'
-#         tagSource: 'manual'
-#         tag: 'Nightly'
-#     - task: GitHubRelease@0
-#       inputs:
-#         gitHubConnection: Z3GitHub
-#         repositoryName: 'Z3Prover/z3'
-#         action: 'create'
+    - task: GitHubRelease@0
+      inputs:
+        gitHubConnection: Z3GitHub
+        repositoryName: 'Z3Prover/z3'
+        action: 'delete'
+#     target: '$(Build.SourceVersion)'
+        tagSource: 'manual'
+        tag: 'Nightly'
+        continueOnError: true 
+    - task: GitHubRelease@0
+      inputs:
+        gitHubConnection: Z3GitHub
+        repositoryName: 'Z3Prover/z3'
+        action: 'create'
 #     target: '$(Build.SourceVersion)'
         tagSource: 'manual'
         tag: 'Nightly'
@@ -462,6 +463,7 @@ stages:
         assetUploadMode: 'replace'
         isDraft: false
         isPreRelease: true
+        continueOnError: true 
 
 - stage: NugetPublishNightly
   jobs: