temporary workaround for build

Z3Prover · Mar 23, 2022 · 1ee3de5 · 1ee3de5
1 parent d9e93d5
commit 1ee3de5
Showing 1 changed file with 13 additions and 13 deletions.
diff --git 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'