From f28d39efaef7f5d0066a217ac8b320080ca1f032 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Fri, 25 Jan 2019 09:43:09 -0800
Subject: circleci - use .gz for build artifact.

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

(limited to '.circleci')

diff --git a/.circleci/config.yml b/.circleci/config.yml
index 02648a63d..f7276166d 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
-            destination: pandoc-${CIRCLE_SHA1}
+            path: /tmp/artifacts/pandoc.gz
 
 workflows:
   version: "2.1"
-- 
cgit v1.2.3