From c7fb1e4c9f21a5141881b19847343b85103fe1b2 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 11 Jul 2019 09:56:08 +0100
Subject: [PATCH] fix spelling of target folder

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

diff --git a/scripts/release.yml b/scripts/release.yml
index 79e94c6d1..3e96bef86 100644
--- a/scripts/release.yml
+++ b/scripts/release.yml
@@ -72,7 +72,7 @@ jobs:
   - task: CopyFiles@2
     inputs:
      sourceFolder: $(Build.ArtifactStagingDirectory)
-     targetFilder: tmp
+     targetFolder: tmp
 # TBD: build NuGet package
 # TBD: this script should build a specific pre-specified tag
   - task: GitHubRelease@0