From 9f02acffbbf4ef10d969787e3d5c9045f21f0e9a Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 7 Jun 2019 14:51:33 -0700
Subject: [PATCH] use tmp

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

diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index 0265b0e6a..5d633dc4b 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -56,12 +56,15 @@ jobs:
   - task: DownloadPipelineArtifact@0
     inputs:
      artifactName: 'Windows'
+     targetPath: tmp
   - task: DownloadPipelineArtifact@0
     inputs:
      artifactName: 'Mac'
+     targetPath: tmp
   - task: DownloadPipelineArtifact@0
     inputs:
      artifactName: 'Ubuntu'
+     targetPath: tmp
   - task: GitHubRelease@0
     inputs:
       gitHubConnection: Z3GitHub
@@ -73,6 +76,7 @@ jobs:
       title: 'Nightly'
       releaseNotesSource: 'input'
       releaseNotes: 'nightly build'
+      assets: 'tmp/*'
 #     assetUploadMode: 'replace'
       isDraft: false
       isPreRelease: true