From 90098633ef05563fe5f125fc9a8d4ed5d80c9533 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 30 Jun 2019 08:36:37 +0300
Subject: [PATCH] remove target from nightl'

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 scripts/nightly.yaml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index 4144ff3ba..441b5ba98 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -76,7 +76,7 @@ jobs:
       gitHubConnection: Z3GitHub
       repositoryName: 'Z3Prover/z3'
       action: 'delete'
-      target: '$(Build.SourceVersion)'
+#     target: '$(Build.SourceVersion)'
       tagSource: 'manual'
       tag: 'Nightly'
   - task: GitHubRelease@0
@@ -84,7 +84,7 @@ jobs:
       gitHubConnection: Z3GitHub
       repositoryName: 'Z3Prover/z3'
       action: 'create'
-      target: '$(Build.SourceVersion)'
+#     target: '$(Build.SourceVersion)'
       tagSource: 'manual'
       tag: 'Nightly'
       title: 'Nightly'