From 32119ce04cdf6a23aef940513c7c712bf987e174 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Fri, 25 Jan 2019 10:07:35 -0800
Subject: [PATCH] Revert "circleci - use .gz for build artifact."

This reverts commit f28d39efaef7f5d0066a217ac8b320080ca1f032.
---
 .circleci/config.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.circleci/config.yml b/.circleci/config.yml
index f7276166d..02648a63d 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -111,10 +111,10 @@ jobs:
             stack update
             stack test --system-ghc --ghc-options="${GHC_OPTS} -Werror" .
             stack install --system-ghc --ghc-options="${GHC_OPTS}" --local-bin-path /tmp/artifacts
-            gzip /tmp/artifacts/pandoc
         - *save
         - store_artifacts:
-            path: /tmp/artifacts/pandoc.gz
+            path: /tmp/artifacts/pandoc
+            destination: pandoc-${CIRCLE_SHA1}
 
 workflows:
   version: "2.1"