From bd0ecdd6de74c0f4d0df91497bc42f846854312b Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 7 Jun 2019 14:48:44 -0700
Subject: [PATCH] omit target path

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

diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index c6ff636a0..0265b0e6a 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -56,15 +56,12 @@ jobs:
   - task: DownloadPipelineArtifact@0
     inputs:
      artifactName: 'Windows'
-     targetPath: $(Build.ArtifactStaginDirectory)
   - task: DownloadPipelineArtifact@0
     inputs:
      artifactName: 'Mac'
-     targetPath: $(Build.ArtifactStaginDirectory)
   - task: DownloadPipelineArtifact@0
     inputs:
      artifactName: 'Ubuntu'
-     targetPath: $(Build.ArtifactStaginDirectory)
   - task: GitHubRelease@0
     inputs:
       gitHubConnection: Z3GitHub