From 77df8ebd12e903cd9326079a46e0d4452e494e36 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 10 Jul 2019 16:23:02 +0100
Subject: [PATCH] try to copy artifacts

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 scripts/release.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/scripts/release.yml b/scripts/release.yml
index fd5fddce8..79e94c6d1 100644
--- a/scripts/release.yml
+++ b/scripts/release.yml
@@ -70,6 +70,7 @@ jobs:
      artifactName: 'Ubuntu'
      targetPath: tmp
   - task: CopyFiles@2
+    inputs:
      sourceFolder: $(Build.ArtifactStagingDirectory)
      targetFilder: tmp
 # TBD: build NuGet package