diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index a4c8cd5af20..4ec6fbe8c6b 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -439,19 +439,19 @@ 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'
+#     - task: GitHubRelease@0
+#       inputs:
+#         gitHubConnection: Z3GitHub
+#         repositoryName: 'Z3Prover/z3'
+#         action: 'create'
 #     target: '$(Build.SourceVersion)'
         tagSource: 'manual'
         tag: 'Nightly'