From ceb5760d6d66d9486a9c604505ee4c0dc979d5e2 Mon Sep 17 00:00:00 2001 From: Zachary Yedidia Date: Sun, 12 Jun 2016 11:35:12 -0400 Subject: [PATCH] Update windows binary name to .zip --- tools/nightly-release.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/tools/nightly-release.sh b/tools/nightly-release.sh index 323473b8..048a17ee 100755 --- a/tools/nightly-release.sh +++ b/tools/nightly-release.sh @@ -108,7 +108,7 @@ github-release upload \ --user zyedidia \ --repo micro \ --tag nightly \ - --name "micro-win64.tar.gz" \ + --name "micro-win64.zip" \ --file binaries/micro-win64.zip echo "Uploading Windows 32 binary" @@ -116,5 +116,5 @@ github-release upload \ --user zyedidia \ --repo micro \ --tag nightly \ - --name "micro-win32.tar.gz" \ + --name "micro-win32.zip" \ --file binaries/micro-win32.zip