circleci - use .gz for build artifact.
commitf28d39efaef7f5d0066a217ac8b320080ca1f032
authorJohn MacFarlane <jgm@berkeley.edu>
dateFri 25 Jan 2019, 09:43 (8 years ago)
parentecccb69
.circleci/config.yml+2−2
@@ -111,10 +111,10 @@ jobs:
111111 stack update
112112 stack test --system-ghc --ghc-options="${GHC_OPTS} -Werror" .
113113 stack install --system-ghc --ghc-options="${GHC_OPTS}" --local-bin-path /tmp/artifacts
114+ gzip /tmp/artifacts/pandoc
114115 - *save
115116 - store_artifacts:
116− path: /tmp/artifacts/pandoc
117− destination: pandoc-${CIRCLE_SHA1}
117+ path: /tmp/artifacts/pandoc.gz
118118
119119workflows:
120120 version: "2.1"